Lemma float32TWFDecidable (t : float32T) : {float32TWF t}+{~float32TWF t}.
