#include <stdio.h>
int main() {
// Automatic conversion: int to float
float myFloat = 9;
printf("%f", myFloat);
return 0;
}