This opens up the whole line of strong typing, comparing/combining like types, casting to like types, and autoconversion of unlike types.

I've always found it difficult in other languages to determine which type wins in the comparison wars. Where there is more than one kind of numeric type, I have to keep a cheat sheet.