Handle infinite bounds on variables

[StevenMaio]

This, or at the very least modify the code so that we don't have to deal with them.

This isn't an urgent task. The problems classes, from which we will sample, do not have inherently large domains fortunately.