I hope in a later post he mentions Sollya (http://sollya.gforge.inria.fr), I found it invaluable for playing around with different precision vs speed.
I hope in a later post he mentions Sollya (http://sollya.gforge.inria.fr), I found it invaluable for playing around with different precision vs speed.