#include <stdio.h>

int main(){
  float x=1.0;
  double y=2.0;
  printf("%f %f",x,y);
  return 0;
}

1.000000 2.000000