void main() { double d = 1000000000000000.; // 15 zeros -> 64 bits d = 1. + 1./d; printf("\n %.15f",d); }