User talk:God made the integers