Converting integer programs to real programs