Macro as_u64_saturated 

macro_rules! as_u64_saturated {
    ($v:expr) => { ... };
}

Converts a U256 value to a u64, saturating to MAX if the value is too large.