专题10-实数运算4个类型