Symbol: is_shift_exponent_too_large