chore: redefine Nat.bit
Nat.div2
Nat.bodd
#13649
+68
−99
Open