Type Definition typenum::consts::P850

type P850 = PInt<U850>;