>>462
それじゃ 453 の望みとは違うと思われ。たしかにそれでも
(format nil "#x~X" (double->bits 3.14d0)) => #x40091eb851eb851f
とかできるけど、そもそも C ではそれは出来てるわけだし。