specify expected integer size

[tomia]

The floating point numbers states:
64-bit (double) precision is expected.

The integers definition should have an analog statement.
e.g. something like
64-bit (signed integer) precision is expected.