i32 < 0.5 ^ 1
