DB<19> printf("%g",3.00);
3
DB<20> printf("%g",3.001);
3.001