Merge pull request #17 from zedar/add_support_for_float16_float128 #186

Job	Run time
build_system	25s
duplicates	9s
build (gcc-13.deb, --mini-tests)	5m 53s
build (gcc-13.deb, --std-tests)	5m 44s
build (gcc-13.deb, --test-libcore)	13m 36s
build (gcc-13.deb, --extended-rand-tests)	8m 44s
build (gcc-13.deb, --extended-regex-example-tests)	7m 1s
build (gcc-13.deb, --extended-regex-tests)	12m 0s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 28s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	12m 31s
build (gcc-13.deb, --projects)	18m 7s
build (gcc-13-without-int128.deb, --mini-tests)	5m 48s
build (gcc-13-without-int128.deb, --std-tests)	5m 55s
build (gcc-13-without-int128.deb, --test-libcore)	14m 13s
build (gcc-13-without-int128.deb, --extended-rand-tests)	9m 24s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 25s
build (gcc-13-without-int128.deb, --extended-regex-tests)	11m 41s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 8s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 0s
build (gcc-13-without-int128.deb, --projects)	18m 10s
	3h 13m 22s

Provide feedback