semilinear_set: don't use GcdDivider by default