Add support for an integer type to join the existing number type. Commit patch supplied for issue2550886. This can be used for properties used for ordering, counts etc. where a decimal point isn't needed. Developed by Anthony (antmail). Doc updates written by John Rouillard.

@rem python -m pip install sphinx
@rem python -m pip install sphinxcontrib-cheeseshop

python -m sphinx . html