fixed float format in printf