Add support for Float16, Float32, Float64 and Float128 #183

Job	Run time
build_system	27s
build (gcc-13.deb, --mini-tests)	6m 11s
build (gcc-13.deb, --std-tests)	5m 52s
duplicates	3s
build (gcc-13.deb, --test-libcore)	13m 50s
build (gcc-13.deb, --extended-rand-tests)	8m 35s
build (gcc-13.deb, --extended-regex-example-tests)	6m 10s
build (gcc-13.deb, --extended-regex-tests)	13m 24s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 8s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 49s
build (gcc-13.deb, --projects)	17m 28s
build (gcc-13-without-int128.deb, --mini-tests)	6m 13s
build (gcc-13-without-int128.deb, --std-tests)	5m 47s
build (gcc-13-without-int128.deb, --test-libcore)	13m 26s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 58s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 48s
build (gcc-13-without-int128.deb, --extended-regex-tests)	12m 6s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 24s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	12m 52s
build (gcc-13-without-int128.deb, --projects)	17m 34s
	3h 14m 5s

Provide feedback