




 
double-float is disjoint from short-float and  single-float in all LispWorks implementations in version 5.0 and later.
In LispWorks 4.4 and previous on Windows and Linux platforms, all floats are of type double-float. However, there are distinct specialized array types (array single-float), with single precision, and (array double-float), with double precision.
LispWorks User Guide and Reference Manual - 20 Sep 2017