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

This improves type inferring for array literals and match expressions.