#include <stdio.h>
int main()
{
    printf("%.9f\n", 1.2345678901);
    printf("%.9f\n", 1.2345);
    return 0;
}