So what that means is the compiler is actually going to first "cast" so to speak 13 from whatever it is - to a float -- to a floating point value -- and then perform the division for us.

所以这里的意思是编译器将,做“计算“，譬如13这样一个浮点数,-到另一个浮点数-,然后为我们处理除法。

哈佛公开课 - 计算机科学课程节选

- And then I divide by an int -- that's okay because so long as you have a float involved at some point early on, you're okay.

然后我除以一个整型数-,那是可以的因为现在为止，我们在之前已经,引入了一个浮点数，你是对的。

哈佛公开课 - 计算机科学课程节选