Restored missing Int to Integer conversion codegens

Fixes #385