How do we get 128-bit floating-point on the Apple Silicon M1?

Question

I have it on good authority from a friend in the know that the M1 floating-point unit supports 128-bit operations. Which isn\'t too surprising, because in order to properly