Producing arbitrary precision Integer for the size of a transaction is an overkill and can be a source for potential bugs. We should return Word32 instead and throw an exception instead. It will be safe, since 4Gb for a transaction size is not an achievable goal 😄