Type Alias N825

pub type N825 = NInt<U825>;