Merge branch 'divfloor-in-write_smt2' into smtlib2-expr-support