Lemma float32Vec2TWFDecidable (t : float32Vec2T) : {float32Vec2TWF t}+{~float32Vec2TWF t}.
