Clearly define integer/float overflow and conversion rules

I'm not sure - why this range must be finite? I.e. why should we ban arbitrary-precision ints?