fix formatting of floating points