hack together _WholeNumbers to replace Naturals0 in function.py