i32 <= 1 or 0.5 == 0.5
