allow Formula test cases with P0 output to deem facts equal with
P0 as if they had P=INF.  Change is needed when running in the
inferingDecimals mode as P0 produced a NaN value evaluation which
always would mis-compare (and invalidate working formula test cases)