Node: Shift_Right_Arithmetic, Next: Source_Location, Previous: Shift_Right, Up: Intrinsic Subprograms
A Shift_Right_Arithmetic function can be defined for any user
defined binary modular integer type, or signed integer type, as described
above for Rotate_Left.