在定义了正分数后可以定义有正分数参加的数的加法和乘法，并可以验证运算律。

After defined positive fraction Numbers, we might define addition and multiplication for positive fraction Numbers, and then we can also verify operation laws.

youdao

此处 int 类型的数在执行加法运算之前转换成 double 类型。

Here, the int is converted to a double before addition.

youdao

在加法运算中，加到被加数上的数或量。

In an addition operation, a number or quantity added to the augend.

youdao

And he quite correctly, because he's more senior than I am, more experienced than I am, said it's actually a good thing.

你可以用加法来加浮点数，他很明显是正确的，因为他比我年长些，比我更有经验些。

麻省理工公开课 - 计算机科学及编程导论课程节选

This is how you get the rules for adding a vector to another vector, then taking a vector and multiplying it by some constant.

以上这些就是矢量加法的法则,以及数乘矢量的法则

耶鲁公开课 - 基础物理课程节选