half(0.5 - i64)
