Shifts value to the right by shift.
ShiftRight only shifts bits within NumBits field size. The optional parameter NumBits defaults to 64 bits.