log/smt2perr160.smt2:1:26: invalid bit-width '0.1', expected integer