#include <stdio.h>

int main(void) {
    double x = 123.45123451234512345;
    double y = 123.45123451234512300; /* laatste 2 cijfers verschillen */

    printf("%.17f %.17f\n", x, y);

    getchar();
    return 0;
}