min(f32 / f64)
