half(0.5 ^ i64)
