Rust

Add binding for FPA to IEEE-754 bit-vector (#322) #554

Job	Run time
build_on_wasm	35m 56s
build (macos-latest)	40s
build_with_bundled_z3 (linux)	16m 14s
build (ubuntu-latest)	44s
check-formatting	3s
build_with_bundled_z3 (macos)	13m 20s
build_with_vcpkg_installed_z3 (linux)	1m 15s
build_with_bundled_z3 (windows)	18m 37s
build_with_vcpkg_installed_z3 (macos)	1m 3s
build_with_vcpkg_installed_z3 (windows)	5m 21s
run_clippy	25s
	1h 33m 38s

Provide feedback