min(f64 * f64)
