With ccl64, 1.12.2 (v1.12.2-66-g7e9ea2a9), I get:
? (expt 2d0 -1024)
> Error: FLOATING-POINT-OVERFLOW detected
> performing * on (1.3407807929942597D+154 1.3407807929942597D+154)
> While executing: CCL::*-2-INTO, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
This is representable, especially since CCL appears to support denormals as shown by:
? (expt 2d0 -1023)
1.1125369292536007D-308
? (/ * 2d0)
5.562684646268003D-309
With ccl64, 1.12.2 (v1.12.2-66-g7e9ea2a9), I get:
This is representable, especially since CCL appears to support denormals as shown by: