Definition float16TWF (t : float16T) : Prop :=
  isValidFloat (f16 t).
