Implement Float.toInt for floats bigger than SmallInts

* Banker's rounding is somewhat complicated in this case:
  * On a 64 bits platform, nativeint have 64 bit mantissa (versus 52 for double),
    so err should be 0.
  * On a 32 bits platform, the nativeint mantissa is smaller so we need rounding.