> I would like to change the identifier prefix to something else, though to what I don't know.

Per cent sign (%) maybe? I realize it’s conventionally used for “internal” / “private” symbols, but that’s kinda the point of the SRFI—exposing the “internal” float handling ops?