f64 / 0.5 / i64
