请大家在自己的机子里运行一下这个程序，把结果发上来。
#include <stdio.h>
void main()
{
float f=123.456;
printf("%10f",f);
}