In 64-bit LispWorks single-floats are immediate objects, and
short-float is the same type as single-float.
In 32-bit LispWorks single-floats are boxed objects, and short-float is disjoint from other float types.
LispWorks User Guide and Reference Manual - 13 Feb 2015