util.format: Optimize most common integer format A search for log formats in use points to %s being the most common, followed by %d, so worth having a fast path for that. %g works well with most numbers and is what Lua 5.1 and 5.2 used

-- Unknown platform stub
module:set_global();

-- TODO Do things that make sense if we don't know about the platform