问下关于double型 除数为0时 的有关问题

问下关于double型 除数为0时 的问题
public static void main(String[] args){
double num1 = 1;
double num2 = 0;
double num3 = num1 / num2; //这里double 型 除数为0时显示 Infinity
System.out.println(num3);
double num7 = 10 / 1;
System.out.println(num7);
double num8 = 10 / 0; //这里怎么就运行不下去了？
System.out.println(num8);
int num4 = 1;
int num5 = 0;
int num6 = num4 / num5; //整形的出错
System.out.println(num6);
}

------解决方案--------------------
运行不下去的地方，10/0是两个整型在除，然后結果转为double型，所以出错了。
------解决方案--------------------
显示为：Infinity是无穷大的意思。
double num8 = 10 / 0; //这里怎么就运行不下去了？
写出来就是整型了。整型可以精确表示0所以，不能被零除
有异常了。当然不会往下执行了。