half(0.5 ^ 0.5)
