Tim's options for QF_LIA and QF_LRA---SOI+approx.