Re: integer-simple by default