Fixed all instances in the documentation where a number was wrongly called "integer"