pub(crate) fn check_reciprocal_mul<P>(n: u128, d: u128)where P: PerThing + Mul<u128, Output = u128>,
Checks that n / (n / d) >= d.
n / (n / d) >= d