Make sure preformance info logged in devel_mode uses locale-independent number format