pub type N288230376151711744 = NInt<U288230376151711744>;