Cleaned up supporting functions in the constructor
Added an invariant

At the very least the Most Significant Digit Index should be
within the bounds of the data store.