Use word shifts for IntInf.<< if the argument is short and the highest set bit will not be shifted into the sign bit or out of the word.