Fixed the caching of fixed integer variables as per documentation.
Space.
Merge branch 'fix-fixed-cache' of https://github.com/JLiangWaterloo/choco3 into pr-JL
Merge branch 'pr-JL' into develop