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

Still passes all tests.

Important if *r-d-f-f* is 'double-float.