__init__ (
        self,
        name,
        statement,
        low,
        high,
        default,
        increment=1,
        help=None,
        )