@sigurdteigen maybe you can shed some light here. Is the limit set in ```ConstraintSyntaxNewReal()``` supposed to be enforced by the parser?