half(0.5) / i64
