Type Definition typenum::P57

type P57 = PInt<U57>;