Do not trust *read-default-float-format*