#include <iostream>

int main() {

	std::cout << 1234.56789 << std::endl;
	std::cout.precision(9);
	std::cout << 1234.56789;	
	
	return 0;
}