Closed dpgeorge closed 2 years ago
This removes the +0.
added in #534 and replaces it with a more long-term solution.
Also now builds a single precision port as part of CI.
@dpgeorge Thanks for cleaning this up! @jepler You beat me to merging this, thanks a lot!
Follow on from #534.