i32 ^ max(0.5)
