pub type N140737488355328 = NInt<U140737488355328>;