G.Chiozzi - 2005-09-30

This test uses printf to print floating point numbers
with 15 decimal digits.
Rounding is not the same on all platforms and compilers.
For example we get slightly different results on
(RH-9, gcc 3.3) and (RH-E, gcc 3.4.3).
Therefore we have decided to sed filter the output
for the tat comparison to 12 digits.
The original 15 digits are in any case available 
on the tatlog directory.
