log/smt2perr140.smt2:1:21: expected decimal constant at 'not_an_int'