B-USER 10 : 1 > *read-default-float-format*
SINGLE-FLOAT
B-USER 11 : 1 > (let ((*read-default-float-format* 'double-float))
(read-from-string "8.76543212345678"))
8.76543212345678D0
16
B-USER 12 : 1 > (let ((*read-default-float-format* 'double-float))
(type-of (read-from-string "8.76543212345678")))
DOUBLE-FLOAT
转载于:https://my.oschina.net/tshemeng/blog/295756