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.

Sean