pub(crate) fn check<N>(f: N, n: N, d: N, r: Rounding)where N: MultiplyRational + Into<u128> + Copy + Debug,