Add interesting integers to the EQC lib.
Document a current limitation.
Introduce interesting integers into the test case.

We have to disable a current bug in the OTP code base for a value it can't correctly handle.
Collect statistics for different parts.
Document aggregates and collections.