Do not depend on *read-default-float-format*