Use explicit single-float constants

do not depend on *read-default-float-format*