Pre-RFC Introduction of Half and Quadruple Precision Floats (f16 and f128)

[scottmcm]

@jjpe Yes, like https://docs.rs/num-bigint/0.1.43/num_bigint/index.html

(And @shingtaklam1324 is correct. Also things like let x: NonZeroU32 = 1;.)