Other items insp_arithmetic::helpers_128bit
pub fn split(a: u128) -> (u64, u64)
split a u128 into two u64 limbs