uint64_t x = 0x7ff0000000000000ULL; printf("%f\n", *(double *)&x);
inf
Reminds me of the hilarious and brilliant: http://tom7.org/nand/