float(f64 * 0.5)
