Use explicit single-float constants, do not depend on *read-default-float-format*