#include <stdio.h>
​
int main() {
  // Manual conversion: int to float
  float sum = (float) 5 / 2;
​
  printf("%f", sum);
  return 0;
}