I wrote: > (2) Why are the extra digits at the end DIFFERENT from what one gets from > C? > (A2.1) Idunno, why ARE they different? Manuel Carro <mcarro(a)fi.upm.es> replied: Because printf is not used to generate and print the result. I'm afraid this misses the point of my question. The number is 1926/100.0. When I compare the output of printf("%.18e", 1926/100.0) with the output of (a copy of Dan Bernstein's implementation of) Taranto's algorithm, I get taranto(1.926000000000000156e+01) => 19.260000000000001563194018672220408916473388671875 That being so, a difference between CIAO output and printf() output may very well indicate an error in whatever method CIAO uses for binary->decimal conversion.

It may not, of course. Perhaps in converting Dan Bernstein's code to ANSI C I introduced an error, so that printf() and taranto() are both wrong in exactly the same way. Perhaps.

At least the question requires more serious examination than it has so far received. ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------