`float_sanitize` is in the other commit