Integer subtype and NaN trick

[Dirk Laurie <dirk.laurie@...>]

It is not spelt out in the slides of Roberto's 2012 presentation,
but it seems obvious that the proposed integer subtype will
from the point of view of the NaN trick look like a non-number:
the real 64-bit value will have to be stored elsewhere.