This is currently bundled with the MPK changes, but it is useful separately, so I'm submitting it here as well. I tried to expand the comments regarding the use of de-facto 65-bit integers, as Adhemerval suggested before. Thanks, Florian