Lemma float32Vec3TWFDecidable (t : float32Vec3T) : {float32Vec3TWF t}+{~float32Vec3TWF t}.
