f64 < f64 * f32
