Type Definition N1000000000000000000
typenum::consts
type N1000000000000000000 = NInt<U1000000000000000000>;