#include <stdio.h>
main () {
  float variavel;
  variavel = 1000.0;
  printf ("%f\n", variavel);
  variavel = variavel + 0.00000000000001;
  printf ("%f\n", variavel);
}