save(lp): stage_one, fixing a floating point error with UNLIMITED

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>