i32 ^ half(0.5)
