10.0014 + 0.0000123456 = 10.0014?

Please see Freefem default precision

real a=10.0012;
real b=0.0000123456;
cout << a+b << endl;
cout.precision(16);
cout << a+b << endl;