Simple MiniZinc float var model does not produce solution in a reasonable time-frame #164

In GeCode 6.3.0 used through MiniZinc IDE, the GeCode solver hangs and crashes after a while for this code:

float: x = 1.1e10;
var float: y;
constraint x > y;

The problem being the exponent syntax with the 'e'.
When using GeCode through the python-minizinc binding, I've got the error "minizinc.error.MiniZincError: unexpected token `e'".
I works well with other solvers so I don't think it's directly related to MiniZinc.