use a different, compressible number formatter