Hi Sean,

I'm the one who forked ECJ to .NET a while ago, and I'm only responding to
this "feedback" request for one reason:

When I was converting the Java code to C# I found that it was all essential
to create a very large number of unit tests (500+), to sanity-check what I
was doing.

Can you imagine the immense benefit to ECJ (not to mention MASON) if time
spent checking on float t