Correctly type sign extension of literals.