support semi-integer variables in Data.MIP module
clean up