parsing reals was buggy -> fixed - type changed from float to double;