The common root of an integer and a floating point type is now correctly the floating point type