https://123dok.co/document/yd7m0e0j-int-integer-finite-subset-integers-machine-dependent.html