Add support for CPLEX solver
Output numerical values in fixed notation