Function logos_sub_exact 

pub fn logos_sub_exact(
    a: impl Into<LogosInt>,
    b: impl Into<LogosInt>,
) -> LogosInt