f64 < f32 * f64
