result_float (cargo): Floating point type that cannot store NaN
Keywords: no_std