pub type P576460752303423488 = PInt<U576460752303423488>;