regress/parser/smt2perr179.smt2:1:10: invalid term, '/' only allowed to represent rational values under 'to_fp'