Tweaked right_shift_nicely_rounded() so it didn't need a special case for shift == 0
Tweaked right_shift_nicely_rounded() so it didn't need a special case for shift == 0

elidupree/time-steward,elidupree/time-steward,elidupree/time-steward