Module Optint__Integer_interface

This module is hidden.