Definition float32TWF (t : float32T) : Prop :=
  isValidFloat (f32 t).
