Add `f16`/`f128` support #1352

Job	Run time
abi_cafe (ubuntu-24.04-arm, aarch64-unknown-linux-gnu)	4m 59s
abi_cafe (macos-13, x86_64-apple-darwin)	9m 28s
abi_cafe (macos-latest, aarch64-apple-darwin)	4m 21s
abi_cafe (ubuntu-latest, x86_64-unknown-linux-gnu)	4m 6s
abi_cafe (windows-latest, x86_64-pc-windows-msvc)	8m 29s
	31m 23s

Provide feedback