f64 * f64 < f64
