save(lp): restoring numeric precese treatment, making the lp_revesid_solver constructor parameterless

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