God made natural numbers; all else is man's work.