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