Improved the display a very large integers

Also renamed the 'Decimal' button to 'Decimal number' to match the other
buttons.
Updated numbers documentation
More improvements to number display

Including computing the correct number of digits to display when shrunk.

Code cleaned up and renamings for clarity.