I want add an index to the file names of my exported images, so I'm using `ToString`. But I have a problem when my index is a fraction, because then the generated file name includes characters not recognised by my system. Is it possible to make $2\pi/5$ become, for example, `2Pi--5` or something similar when converting it to a string?