It would be nice if it was possible to select STL-format (ASCII or binary).
Not only will binary format be a smaller file. But wouldn't it also have more accurate values?
Since you avoid translating the values to ASCII when exporting, and back to float when importing.