If I recall correctly, floats were chosen because the speed penalty one gets when using doubles?
Do we have any idea about what the difference is today? 5, 50, 500%?
I'm quite new to java, but would it be possible, with reasonable work, to template things, so that one can choose between float and double, depending on preference?
ECJ's long used floats rather than doubles for its fitness values. This is entirely historical. It'd be a big job to convert everything to doubles and make sure everything still works right. But it's probably worth it. Before we considered such a thing, I'm wondering if it would negatively impact anyone (or everyone!) here.