Hi guys,I have quite some reports that print several numbers. Until now we were using the default #greaseString. However, we now need to be able to start printing nicer and customizable. For example, I may want to put a comma every 3 numbers and dots for the decimals. And choose how many decimals. And maybe also choose to use scientific notation, etc....Also, I need this for both, Pharo and GemStone. I wish I don't have to start building yet again my own number formatting library... so.. is there something available I could take a look?Thanks in advance, ��