HTTP control interface uses %f

%f printf() specifier gives inconsistent result depending on the user's locale. We cannot assume it will be the american format either (as per #581 (closed)). You cannot use strof() either.

Don't use it when read from/writing to a file or a network stream.