Module N_as_OT.Private_NZPow