Fast and lean number padding in Javascript