approx_free: check for NULL argument.
Always consider offset to obj value, and always log accurate values
Document APPROX solver