Rollback on constraints in GringoNumericFormat.