Tidy handling of intrinsics for `f128` #2853

Job	Run time
build (--test-successful-rustc --nb-parts 2 --current-part 1)	19m 21s
build (--test-successful-rustc --nb-parts 2 --current-part 0)	22m 22s
success_release	3s
	41m 46s

Provide feedback