Make it compile correctly independently from *read-default-float-format*