Change a few number types to integer.

[schwern]

All our numeric types were documented as "number" because that's all Javascript has. Most take an integer. These are the ones to change to take "integer".

• truncate*ToSize
• listConcatenate*.listLength
• listLength.length