Extending Gecode parser, lexical cast troubles