Type Definition N100000000000000000
typenum::consts
type N100000000000000000 = NInt<U100000000000000000>;