"God made integers, all else is the work of man."
"God made the integers; all else is the work of man."