798じゃないけどヒント。

char* s = "%.7F";
printf(s, num);