Add predefined version identifier for float ABI.
Dump all predefined version identifiers if logger is enabled.