Fixes towards double precision IO & remove static variables
This still uses a hand-rolled ascii float/double parser from OpenFlipper, this should probably also be replaced by something robust and correct. (Removed in OpenFlipper@913f8a4c )
Update May 9th: I also increased default and maximum precision values.
Edited by Martin Heistermann