------- Additional Comments From bangerth at dealii dot org 2004-05-11 14:53 -------
It's called round-off.
W.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15374