min(f64 / f32)
