#include <stdio.h>

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

a = 10.100000