Asserting the type of NaN signals an error

[eliaslfox]

On macOS using CCL Version 1.12.1 DarwinX8664

CL-USER> (typep 1d+-0 'double-float)
T
CL-USER> (the double-float 1d+-0)
; Evaluation aborted on #<FLOATING-POINT-INVALID-OPERATION #x302001351E0D>.

[galdor]

Same bug on Linux x86-64.

[xrme]

We end up calling zerop on the NaN value as part of turning the typespec into a ctype.

ccl/level-1/l1-typesys.lisp

Lines 3062 to 3075 in 273dc19

	(def-type-translator member (&rest members)
	(if members
	(collect ((non-numbers) (numbers))
	(dolist (m (remove-duplicates members))
	(if (and (numberp m)
	(not (and (floatp m) (zerop m))))
	(numbers (ctype-of m))
	(non-numbers m)))
	(apply #'type-union
	(if (non-numbers)
	(make-member-ctype :members (non-numbers))
	*empty-type*)
	(numbers)))
	*empty-type*))

To be honest, I am not sure what to do here.