Don't depend on *read-default-float-format*.