#include <iostream>
int main() {
std::cout << 1234.56789 << std::endl;
std::cout.precision(9);
std::cout << 1234.56789;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgoKaW50IG1haW4oKSB7CgoJc3RkOjpjb3V0IDw8IDEyMzQuNTY3ODkgPDwgc3RkOjplbmRsOwoJc3RkOjpjb3V0LnByZWNpc2lvbig5KTsKCXN0ZDo6Y291dCA8PCAxMjM0LjU2Nzg5OwkKCQoJcmV0dXJuIDA7Cn0=