\section{Binary natural numbers : NArith}\label{NArith}

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

