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 ...
System.out.println(iter.next().getKey() + " -XX- " + iter.next().getValue()); System.out.println(iter.next().getKey() + " -- " + iter.next().getValue()); System.out ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results