--- a/src/format.h Tue Jul 22 19:22:31 2014 +0300 +++ b/src/format.h Thu Jul 24 16:54:45 2014 +0300 @@ -53,6 +53,11 @@ return String::fromNumber (a); } +inline String MakeFormatArgument (double a) +{ + return String::fromNumber (a); +} + inline String MakeFormatArgument (size_t a) { return String::fromNumber (long (a));