floating point printf:bug fix