System Class FLOAT
浮動小数は、s*f*b^{e-p}のフォームで表される 数学的な有理数（Common Lispのrationalではなく）です。 ただし、sは符号であり+1か-1、 bは基数であり1より大きい整数、 pは浮動小数の精度（基数-bの数値）であり正の整数、 fは仮数でありb^{p-1}からb^{p}-1（含む）の間の正の整数、 eは指数であり整数です。 pの値とeの区間は、 実装自身と実装内における浮動小数の型に依存します。 加えて、浮動小数のゼロもまた実装依存であり 「マイナスゼロ」が存在できます。 もしマイナスゼロが存在しないときは、 0.0と-0.0は両方とも単純に浮動小数のゼロとして解釈されます。 (= 0.0 -0.0)は常にtrueです。 もしマイナスゼロが存在するとき、 (eql -0.0 0.0)はfalseであり、 そうではないときはtrueです。
型short-float, single-float, double-float, long-floatは、 型floatのサブタイプです。 これらのうちどの2つも疎の型か同じ型のどちらかです。 もし同じ型のとき、 上記の順番の中でそれらの間にある他の型もまた同じ型です。 例えば、もし型single-floatと型long-floatが同じ型のとき、 型double-floatもまた同じ型でなければなりません。
省略可能
float [ lower-limit [ upper-limit ] ]
lower-limit, upper-limit - 型floatの区間指定子。 lower-limitとupper-limitの それぞれのデフォルト値はシンボル*。
これは、浮動小数の区間を lower-limitとupper-limitによって定義することを示します。
figure_2-9, 2.3.2. トークンから数の構築, 22.1.3.1.3. 浮動小数の印字
全ての数学的な整数は、 Common Lispの実数realで表現できるだけでなく、 浮動小数の複素数complex floatでもまた表現できます。 例えば、数学的な数の1の表現として可能なものは、 整数の1、浮動小数の1.0、複素数の#C(1.0 0.0)が含まれます。