float(f64) / f64
