Function logos_mul_exact 

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