Improved Integral Number Type

- Added extra checks against 0 digit size
- Changed constructor implementation that was still written for an older
version of the number type
- Changed logical_xor algorithm to be perfectly one-to-one, that is
Precision::Int(N).logical_xor(M).logicalxor(M) == Precision::Int(N)
- Algorithms for other logical operations still under research.