Shift amounts should have the type given by