Implementation of non-negative integer functionalities and polishing of
tests.