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?

2009/9/21 Sean Luke <[log in to unmask]>
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.