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