branchers for SetVars; BancherHandles for FloatVars