Lemma float32Vec4TWFDecidable (t : float32Vec4T) : {float32Vec4TWF t}+{~float32Vec4TWF t}.
