Added number formatting in progress logging. Fixes #95.