In C++, we use output streams with the << operator. Printing to the screen (standard output) is done with std::cout << which would print numbers to the screen with some default precision, that precision can be changed with the precision function for std::cout. The same thing can be done for other output streams, i.e. streams to files, and what the ASCII helper of ns-3 uses is std::ostream to output to a file.
ns-3 uses a class called OutputStreamWrapper for ASCII outputs. I suggest that you try changing the code of that class by specifying a higher precision. Go to the file ./src/network/utils/output-stream-wrapper.cc and in the constructor add the following line at the end:
m_ostream->precision (9);
Which I think would change the precision to 9 decimal places and should work for all your ASCII traces.
Cheers,
Adil