Int() typos in Remarks

[c.haslam]

Remarks says:

Default behavior is that if the result is within range of 32bit integer then 32bit integer is returned. If not, 64bit integer is returned. Both signed.
Fractional portions are truncated, so Int(1.999999) returns 1
Int(0/0) returns -9223372036854775807, if you were wondering.
This function makes minor corrects to floating point numbers to account for the imprecise nature of floating point numbers. For example, the floating point expression 0.7 + 0.2 + 0.1 produces a floating point number that is not quite 1.0. Int() corrects for this anomaly, however, certain extremely rare circumstances may lead to Int() returning an unexpected value (the odds of getting an unexpected value are less than if Int() did not attempt any correction at all).

It should say: (corrections are bolded)

Default behavior is that if the result is within range of 32-bit integers then a 32-bit integer is returned. If not, a 64-bit integer is returned. Both are signed.
Fractional portions are truncated, so Int(1.999999) returns 1.
Int(0/0) returns -9223372036854775807, if you were wondering.
This function makes minor corrections to floating point numbers to account for the imprecise nature of floating point numbers. For example, the floating point expression 0.7 + 0.2 + 0.1 produces a floating point number that is not quite 1.0. Int() corrects for this anomaly, however, certain extremely rare circumstances may lead to Int() returning an unexpected value. (The odds of getting an unexpected value are less than if Int() did not attempt any correction at all).

[c.haslam]

Sorry,but most of the nolded corrections don't show. Hopefully you will be able to simply copy the revised text into the help file.

[anonymous]

Yes, I make typos too! nolded => bolded.

[Jpm]

Fixed by revision [11313] in version: 3.3.13.21