3.3 challenge solution

[codeboy]

#include <stdio.h>

int main(int argc, const char * argv[]) {
float a = 3.14;
float b = 42.0;
double c = a + b;
printf(“c=%f\n”,c);
return 0;
}