nat.partrec.code.denumerable source