float x=123456.789,printf(%10f,x)=