issue #22: numint