0.5 / i64 * i32
