fn split_128(value: u128) -> Split128