On Mar 20, 2010, at 6:54 PM, Nick Coghlan wrote:

I suggest a 'linearised' numeric tower that looks like:

int -> Decimal -> Fraction -> float -> complex

Is that a typo? Shouldn't Decimal and float go between Fraction and complex?

The abstract numeric tower is:

Number Complex Real Rational Integral

where both Decimal and float have operations associated with reals.

Raymond