Clearly define integer/float overflow and conversion rules