half(i32 ^ 0.5)
