It appears FloatingPointLiteral.getValue() has precision loss. This is probably an extractor issue because: toString() is not affected (but its result is an implementation detail, so relying on it is ...
Sommige resultaten zijn verborgen omdat ze mogelijk niet toegankelijk zijn voor u.
Niet-toegankelijke resultaten weergeven