pub fn split_u64_to_31b(i: u64) -> (u32, u32)
Returns (high, low) where high uses extra bit for carry and low has a cleared 32nd bit