First-class Numbers