Dear Sir or Madam,

would you agree to add the type

Probability = Refined Interval.Closed[0d, 1d]

in addition to Positive, NonNegative, etc.

It is useful for engineering factor, probabilistic computations, etc.

Regards,

Olivier