fixed a bug with string-formatting of CFloatValue