[gobo-eiffel-develop] Broken test

[Colin A. <col...@go...>]

As a result of some changes I checked in last night, one of the XPath
tests failed.

This is due to a postcondition in {MANAGED_POINTER}.put_real_64, which
is broken when the object is NaN.

Can we suppress postcondition-checking for this class in the XPath
library.xace file, or is that not supported?