用DecimalFormat df=new DecimalFormat("##0.00##");//设置输出数值的格式为XX.XXXX
String s;//为定义输出数值而设置的数组
float f=3.1415926;                               
s=df.format(f);
s=s.substring(0,s.indexOf(".")+3);
System.out.println("s="+s);