あべさん、ありがとうございます。 1、末尾に d0 をつける ( format nil "~,5F" (+ 1111.0 (read-from-string "1234.11111d0"))) →"2345.11111" 2、*read-default-float-format* の設定 (setf *read-default-float-format* 'double-float) ( format nil "~,5F" (+ 1111.0 (read-from-string "1234.11111"))) →"2345.11111" どちらも、うまくいきました^^ ありがとうございました m(__)m