float(f64) >= f64
