Function check_mul

pub(crate) fn check_mul<P>(n: u128, d: u128)
where
    P: PerThing + Mul<u128, Output = u128>,

Checks that (n / d) * d <= n.