Inconsistent Arithmetic Operator Overloading?

Hey Matthias:

Is there a reason for this bizarre ad-hoc choice of arithmetic
operator overloading: + works on IntInf's, but / doesn't?

-dte


Standard ML of New Jersey v110.50 [built: November 6, 2004 17:46:17 (+5)]
- fun lg i = Int.toLarge i;
[autoloading]
[autoloading done]
val lg = fn : int -> ?.intinf
- lg 1;
val it = 1 : ?.intinf
- (lg 1) + (lg 1);
val it = 2 : ?.intinf
- (lg 1) / (lg 1);
stdIn:4.8 Error: overloaded variable not defined at type
  symbol: /
  type: ?.intinf
- 



-------------------------------------------------------
This SF.Net email is sponsored by Yahoo.
Introducing Yahoo! Search Developer Network - Create apps using Yahoo!
Search APIs Find out how you can build Yahoo! directly into your own
Applications - visit http://developer.yahoo.net/?fr=offad-ysdn-ostg-q22005