Function check

pub(crate) fn check<Per: PerThing>(a: u128, b: u128, r: Rounding)
where
    Per::Inner: Into<u128>,

Assert that the parts of from_rational are correct for the given rounding mode.