i32 < int(0.5)
