(declare (notinline opaque-identity make-single-float make-double-float))
(ecase name
(:single-float-negative-zero (make-single-float
(declare (notinline opaque-identity make-single-float make-double-float))
(ecase name
(:single-float-negative-zero (make-single-float