jpf-numeric

This JPF project contains an alternative set of bytecode instruction classes that check for numeric properties like overflow, silent NaN propagation and catastrophic cancellation.