floating point, printf and prec()