Merge pull request #471 from GuillaumeGomez/intrinsics-conversions #1

Job	Run time
build_system	43s
build (gcc-13.deb, --mini-tests)	6m 23s
build (gcc-13.deb, --std-tests)	6m 38s
duplicates	3s
build (gcc-13.deb, --test-libcore)	14m 6s
build (gcc-13.deb, --extended-rand-tests)	9m 11s
build (gcc-13.deb, --extended-regex-example-tests)	7m 18s
build (gcc-13.deb, --extended-regex-tests)	13m 16s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 55s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	12m 34s
build (gcc-13.deb, --projects)	18m 12s
build (gcc-13-without-int128.deb, --mini-tests)	5m 45s
build (gcc-13-without-int128.deb, --std-tests)	6m 2s
build (gcc-13-without-int128.deb, --test-libcore)	13m 56s
build (gcc-13-without-int128.deb, --extended-rand-tests)	10m 11s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 39s
build (gcc-13-without-int128.deb, --extended-regex-tests)	12m 8s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 31s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 45s
build (gcc-13-without-int128.deb, --projects)	17m 22s
	3h 15m 38s

Provide feedback