OCL式「Sequence{1,2,3}->sum() / 3」の結果がReal型になる理由はどれか。

OCLにおいて「/」演算子は、オペランドがIntegerであってもRealを返す。