Function spec_cast_integer 

pub const fn spec_cast_integer<From, To>(_from: From) -> To
where
    From: Copy,
    To: Integer,