float printing was lossy in 2 places, fix this#1306

nunoplopes merged 1 commit into

AliveToolkit:masterAliveToolkit/alive2:masterfrom

regehr:print-floats-accurately-2regehr/alive2:print-floats-accurately-2Copy head branch name to clipboard