#include <stdio.h>

float returnFloat() { return 5.5; }

int main(void)
  {
   printf("%f\n",returnFloat());
   return 0;
  }