pub type N576460752303423488 = NInt<U576460752303423488>;