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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results