表达式(10.0 / 2)的计算结果为 5.0，且结果类型为 double。