Support I64->I32 casts in the NCG, and use them for I64->Integer conversions