holgerbrandl
01/03/2022, 8:35 AMDouble.MAX_VALUE-1< Double.MAX_VALUE
is wrong on the JVM (because of limited precision) although it is conceptually true. But what's the largest Double
for which the assumption holds also on the JVM?altavir
01/03/2022, 9:35 AM