Introduce Type::UnknownNumeric?
Introduce a Type::UnknownNumeric
/Type::Numeric
that works like Type::Unknown
but guarantees a known numeric type (Integer
or Real
). This would be returned by numeric operators when operands cannot be determined or when they differ in types.