#include <stdio.h>

int main() {
  double a = 10.1;
  printf("a = %lf", a);
  return 0;
}

a = 10.100000