Clearly define integer/float overflow and conversion rules

Because they don't fit well together with the rest of the language, and code right now almost certainly assumes integers are fixed-size. To implement arbitrary-precision ints, something I'm trying to do, you need to change the rest of the language, and they'd break assumptions code currently makes.