Right-shift explicitly padding zeros unconditionally.
Uint64 operator >>>(int shiftAmount) => Uint64.from(value >>> shiftAmount);