Function u128_to_u64_saturating 

pub fn u128_to_u64_saturating(value: u128) -> u64

Converts u128 to u64, saturating values above u64::MAX.