UInt256 improvements; shaved 1 second off.