#include #include using namespace std; int main() { double a=12.3456789012345; cout<