[slime-devel] *read-default-float-format* with C-c C-k, , load-system, etc.