Added "should not compile" versions of widening assertions to PozFloatSpec, as an example.