Mixed-type arithmetic

Java, C++, and C# have several different numeric types.

Some of those types are whole number or integer types.

The others are types that can contain a fractional part.

However, Alice has only one numeric type (Number) and it is a type that can contain a fractional part.