scripts/tracetool: don't barf on formats with precision