表达式 sqrt(9.0) 的计算结果为 3，且结果类型为 int。