Hi, This is not a bug. Comparing floating point numbers with == may yield unexpected results due to rounding errors. Someone please close this PR. regards Christian http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6900