'(cons single-float single-float))))
(assert (subtypep '(cons integer single-float)
'(or (cons fixnum single-float) (cons bignum single-float))))
'(cons single-float single-float))))
(assert (subtypep '(cons integer single-float)
'(or (cons fixnum single-float) (cons bignum single-float))))