/theories/Numbers/Natural/Binary/
../
NBinary.v