Version 2.00 of [10-Dec-2000] [extended-precision arithmetic: epsilon = 1.93e-34]