Similarly to #376, we should redefine Number like this:
shared interface Number<Other=Object>
given Other satisfies Object
Let me know if/when you do this because Number is a native interface in JS (for interop reasons)
@gavinking are we doing this? Are you doing this?
@gavinking I had a very brief look at this, but it's not clear to me how that type parameter would be used (non of the members of Number would be of type Other as far as I can tell).
Well, fractionalPart, magnitude, and wholePart would be Number&Other. Still, I don't think we should to make this change, which was never really properly thought-through. Really Other is a self-type here, but we can't add the self-type constraint because Object wouldn't satisfy it.
If anything, we could actually get rid of Number since it seems to me that the only Numbers are all actually Scalars.
Closing, see #452.