/*
---------------------------------------------------
	割り算の商	Print_warizan
	
	キャストによる型変換を行う
	（int型変数を一時的にdouble型として計算する）
---------------------------------------------------
*/
import java.text.*;

class Print_warizan {
	public static void main(String[] args) {
		
		int a,b;
		double f;
		
		a=20;
		b=8;

		DecimalFormat fm03=new DecimalFormat("0.000");
				
		System.out.print("割り算をします\n");
		System.out.print("（商は小数点以下３桁で表示します）\n");
		
		System.out.print("ａ＝"+a+"　ｂ＝"+b);
		
		System.out.print("\n\n");
		
		f=(double)a/b;
		
		System.out.print("ａ÷ｂ＝");
		System.out.print(fm03.format(f));
		System.out.print("\n");
	}
}