Remove 80-bit builtins entirely #718

Job	Run time
Clippy	17s
Rustfmt	6s
Test (aarch64-unknown-linux-gnu, ubuntu-latest, nightly)	2m 16s
Test (arm-unknown-linux-gnueabi, ubuntu-latest, nightly)	1m 59s
Test (arm-unknown-linux-gnueabihf, ubuntu-latest, nightly)	1m 52s
Test (i586-unknown-linux-gnu, ubuntu-latest, nightly)	1m 35s
Test (i686-unknown-linux-gnu, ubuntu-latest, nightly)	1m 31s
Test (powerpc-unknown-linux-gnu, ubuntu-latest, nightly)	2m 5s
Test (powerpc64-unknown-linux-gnu, ubuntu-latest, nightly)	1m 55s
Test (powerpc64le-unknown-linux-gnu, ubuntu-latest, nightly)	2m 6s
Test (thumbv6m-none-eabi, ubuntu-latest, nightly)	1m 30s
Test (thumbv7em-none-eabi, ubuntu-latest, nightly)	1m 27s
Test (thumbv7em-none-eabihf, ubuntu-latest, nightly)	1m 28s
Test (thumbv7m-none-eabi, ubuntu-latest, nightly)	1m 28s
Test (wasm32-unknown-unknown, ubuntu-latest, nightly)	1m 41s
Test (x86_64-unknown-linux-gnu, ubuntu-latest, nightly)	1m 29s
Test (x86_64-apple-darwin, macos-latest, nightly)	2m 20s
Test (i686-pc-windows-msvc, windows-latest, nightly)	2m 9s
Test (x86_64-pc-windows-msvc, windows-latest, nightly)	2m 8s
Test (i686-pc-windows-gnu, windows-latest, nightly-i686-gnu)	2m 26s
Test (x86_64-pc-windows-gnu, windows-latest, nightly-x86_64-gnu)	2m 34s
success	1s
	36m 23s

Provide feedback