level2:
abs(0x80000000) = 0x80000000 is still negative
0x80000000/(-1) will trigger a division exception

level2_alt:
note that NAN is not smaller or higher than any number

level03 OlhCmdZKbuzqngfz