What does one have to type at the command line in order to enter fractions? For instance, I wanted to scale a metric-drawn file by scaling the views with 1/25.4. I tried different ways to enter it as a fractional value instead of a decimal value but couldn't get it to work.