Fix build by avoiding a Float that impls may round differently