#include <stdio.h>

int main(int argc, char** argv) {
    printf("%f\n",    1.4/10);
    printf("%.17f\n", 1.4/10);
    return 0;
}

##</code><code>##

0.140000
0.13999999999999999