3.14e+20000 is outside the range of a double.  Thus this test has two po...

Thus this test has two possible results due to the

pa2 option stated "You may optionally check that floating-literals are in the range of their types"

for applications which implement this option, the result will be different than for applications
Not implementing the option