Question: Unbelievable bug in evalf( )

The function evalf(  ) will encounter a critical bug when doing the following evaluation:

restart;
P1 := 1007;
P2 := 1014;
P3 := 1014.1;
evalf(P2 - P1, 2);
evalf(P3 - P1, 2);

The first evalf( ) returns a correct value, while the second one returns a wrong value.
This is really unbelievable!

Please Wait...