half(i ^ 0.5)
