浮動小数点数のバイナリファイルを作りたい

double-floatの値をIEEE 754に変換して、1byteずつwrite-byteするしかないでしょうか。