half(i64 ^ 0.5)
