A very lightweight number formatter