Talk:First-class Numbers