More concise num-traits documentation

Author: tarcieri

CHANGELOG.md

@@ -10,10 +10,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - New `Uint` functionality:
   - New methods: `bitand_limb` ([#322]), `gcd` ([#472]), `from_str_radix_vartime` ([#603]),
     `to_string_radix_vartime` ([#659])
-  - New trait impls: `MulMod` ([#313]), `Div`/`Rem`/`num_traits::Num` ([#720])
+  - New trait impls: `MulMod` ([#313]), `Div`/`Rem` ([#720])
 - New `BoxedUint` functionality:
   - New methods: `sbb`/`wrapping_sub`/`checked_sub` ([#303]), `mul` ([#306]),
-    `from_be_slice`/`from_le_slice}` ([#307]), `to_be_bytes`/`to_le_bytes` ([#308]),
+    `from_be_slice`/`from_le_slice` ([#307]), `to_be_bytes`/`to_le_bytes` ([#308]),
     `bits` ([#328]), `conditional_select` ([#329]), `shl_vartime` ([#330]), `shr_vartime` ([#331]),
     `rem_vartime` ([#332]), `inv_mod2k`/`bitor` ([#334]), `pow` ([#337]), `inv_mod` ([#341]),
     `random` ([#349]), `cond_map`/`cond_and_then` ([#352]), `map_limbs` ([#357]),
@@ -29,12 +29,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
   `DivRemLimb`/`RemLimb` ([#496]), `InvMod` ([#505], [#741]), `SquareRoot` ([#508]),
   `BitOperations` ([#507]), `ShrVartime`/`ShlVartime` ([#509]), `RandomBits` ([#510]),
   `RemMixed` ([#746])
+- `num-traits` impls: `Wrapping*` ([#425]), `Zero`/`One` ([#433]), `Num` ([#720]),
+  `ConstZero` ([#573])
 - safegcd (Bernstein-Yang) GCD + inv mod algorithm ([#372], [#493], [#632], [#635], [#655])
 - Constant-time square root and division ([#376])
 - Implement `Zeroize` for `NonZero` wrapper ([#406])
-- Impl `Wrapping*` traits from `num-traits` ([#425])
 - `Zero::set_zero` method ([#426])
-- Impl `num_traits::{Zero, One}` for `Limb`, `Uint`, `BoxedUint`, and `Wrapping` ([#433])
 - `Inverter`/`PrecomputeInverter` traits ([#438], [#444])
 - Uint: `const fn` encoders ([#453])
 - Traits to connect integers and Montgomery form representations ([#431]):