#include <stdio.h> int main(){ printf("%f\n", 0x01234567); printf("%08x %08x\n"); return 0;}
Standard input is empty
0.000000 01234567 080484c9
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!