#include <stdio.h>

int main()
{
  double x = 0.0000001;
  printf("x: %f\n", x);
}