Improvements to UInt128 implementation