#include <stdio.h> main() { double f1 = 123456789123456789.23456; printf("%lf \n", f1); }
123456789123456784.000000