f64 / f32 > f64
