typically division has been defined to also promote integers to floating point numbers