Incorrect report of invalid number of arguments in function using a bounded DOUBLE-FLOAT type
(defun c13 (z) (declare (type (double-float -2.0d0 0.0d0) z)) (nth-value 2 (decode-float z)))
Compiled, it fails this way:
(c13 -1.0d0)
==> Invalid number of arguments: 1