const fn mulhi(x: u128, y: u128) -> u128
formatting
Multiply unsigned 128 bit integers, return upper 128 bits of the result