\section{Binary positive and non negative integers : NArith}\label{NArith}

Here are defined various arithmetical notions and their properties,
similar to those of {\tt Arith}.