gistfile1.txt

#include <stdio.h>

/* prints 78.882004 */
int main(int argc, char** argv) {
   float f = 78.882;
   printf("%f\n", f);
   return 0;
}