#include <stdio.h>

int main()
{
   float a = 1.234567E-9f, b = 1.000000f, c = -b;
   float s1, s2;

   s1 = a + b;
   s1 += c;
   s2 = b + c;
   s2 += a;
   printf("%e\n", s1); /* Erg.: 0.000000e+00 */
   printf("%e\n", s2); /* Erg.: 1.234567e-09 */

   return 0;
}