#include <u.h>#include <libc.h> int i = 0x80000000; voidmain(void){	print("%f\n", i);	exits(nil);}