Rust

Add creating reals from any numeral and getting f64 from reals #502

Job	Run time
build_on_wasm	29m 0s
build_with_vcpkg_installed_z3 (linux)	25m 56s
build (macos-latest)	33s
build_with_vcpkg_installed_z3 (macos)	12m 33s
build_with_bundled_z3 (linux)	12m 42s
build (ubuntu-latest)	44s
check-formatting	3s
build_with_vcpkg_installed_z3 (windows)	34m 1s
build_with_bundled_z3 (macos)	10m 47s
build_with_bundled_z3 (windows)	13m 20s
run_clippy	25s
	2h 20m 4s

Provide feedback