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