Implement `Integer`