Fix Avro integer to JSON type mapping in specification documentation

[glywk]

What is the purpose of the change

This pull request fix the mapping type between Avro Type and JSON type for integral numbers

Verifying this change

This change concerns only documentation

Documentation

• Does this pull request introduce a new feature? (no)
• If yes, how is the feature documented? (not applicable / docs / JavaDocs / not documented)

[KalleOlaviNiemitalo]

draft-bhutton-json-schema-validation-01 supports "type": "integer".

What justifies changing already released versions of the specification?

[KalleOlaviNiemitalo]

Standard ECMA-404 (The JSON Data Interchange Syntax) 2nd edition does not mention "integer". For numbers, it defines only syntax and does not specify which differences must or must not be ignored by parsers; for example, whether 1E0 is the same as 1E00.

[glywk]

draft-bhutton-json-schema-validation-01 supports "type": "integer".

What justifies changing already released versions of the specification?

This patch does not change the code of the released version. It only fixes the specifications available on the site.
I propose to patch all the release documentation to provide proper website documentation for people who are not able to upgrade to the latest version immediately for some reason.

[glywk]

Standard ECMA-404 (The JSON Data Interchange Syntax) 2nd edition does not mention "integer". For numbers, it defines only syntax and does not specify which differences must or must not be ignored by parsers; for example, whether 1E0 is the same as 1E00.

The RFC8259 values does not defined integer as a valid type. All are include in numbers