#include <stdio.h>
int main()
{
   float a = 23456789.0;
   printf("%f    ",a);
   a += 1.0;
   printf("%f    ",a);
   return 0;
}

23456788.000000    23456788.000000