pub type N137438953472 = NInt<U137438953472>;