Help for this page
#include <stdio.h> ... printf("%.17f\n", 1.4/10); return 0; }
0.140000 0.13999999999999999