C backend: Add generic float2int rounding code for non-x86, based on rint()
C backend: Fix 32bit assumptions in rtlMathFTOI()