[slime-devel] Float representation problem