DB<6> print  int 0.65049 / 0.0001;
6504

  DB<7> printf("%4.0f\n", 0.65049 / 0.0001);
6505

  DB<8>