fixed bug in floating-point format strings