Function umulhi_inexact_to_odd 

pub(crate) fn umulhi_inexact_to_odd<UInt>(x_hi: u64, x_lo: u64, y: UInt) -> UInt
where
    UInt: UInt,