* numeric::print(): increase precision for C source output.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Mon, 23 Sep 2002 19:45:56 +0000 (19:45 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Mon, 23 Sep 2002 19:45:56 +0000 (19:45 +0000)
commit1c81dc730eed3316fb9bac9790a08d08c08388c4
treea39884eb1b172caee7b52ffc4b078f0284fe1c1e
parente0909883f133a031a8931a0280f465e3c4d6ffea
* numeric::print(): increase precision for C source output.
ginac/numeric.cpp