[Grace-core] Typing of Number

[Andrew P. Black]

On 20 Jun 2011, at 16:35, Michael Homer wrote:

> I do think that if there's a
> Rational type it should be possible to constrain yourself to remaining
> within it somehow

This sounds reasonable.  It also sounds reasonable to allow operations like addition of a complex number to a rational and taking the square-root of a rational, both of which will of course take you our of the rationals.

Is there a proposal for reconciling these two apparently reasonable, but conflicting, desires?

	Andrew