a class to represent NONNEGATIVE integers with lots of digits