On Sun, Feb 1, 2009 at 9:22 AM, Platonides Platonides@gmail.com wrote:
Aryeh Gregor wrote:
The issue is bog-standard floating-point error. If PHP has a decent library for exact-precision arithmetic, we could probably use that. Otherwise, template programmers will have to learn how floating-point numbers work just like all other programmers in the universe.
Okay, so how about we switch to that? We could preserve, say, 30 digits to start with. Of course, it doesn't seem to include a lot of functions, like trig functions or transcendental functions, but it would help anyway.