Transform "<space>"
Example from Z_1817-07-08_c: <space quantity="0.6" unit="lines"/>
In the table it says n
lines but in the example we have 0.6
. How to handle it? Rounding?
Edited by Paul Pestov
Example from Z_1817-07-08_c: <space quantity="0.6" unit="lines"/>
In the table it says n
lines but in the example we have 0.6
. How to handle it? Rounding?