Fix range estimation bug in FPOptimizer

This fixes the main issue raised by #366 (the wrong optimization of the ```1/abs(x)<2``` term). Patch is self explanatory.