0x7f800000 