Function divide_128_by_64_preshifted_reduced 

fn divide_128_by_64_preshifted_reduced(
    numerator_hi: u64,
    numerator_lo: u64,
    divisor_hi: StrengthReducedU64,
    divisor_full: u64,
) -> u64