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.