Type Definition typenum::consts::N401

type N401 = NInt<U401>;