Definition isValidFloat (r : R) : Prop :=
  (~isNaN r) /\ (~isInfinite r).
