Fix big number printing.