FYI, since interval-valued probabilities are an important case of imprecise probabilities, it may be of interest to imprecise probability folks that IEEE has a standard on interval computations. There is a more detailed standard, but for most applications, the basic standard will be sufficient.

-----Original Message----- From: Ralph Baker Kearfott [mailto:rbk5287(a)louisiana.edu] Sent: Sunday, February 18, 2018 10:57 AM

Basic Interval Standard has been published. Its official name is:

 "IEEE Std 1788.1-2017 - IEEE Standard for Interval Arithmetic
  (Simplified)"

It will be an active standard for 10 years (after which it may be reaffirmed or revised).

A web page for it is:

https://standards.ieee.org/findstds/standard/1788.1-2017.html

Baker

P.S. Here is the info from the standard webpage:

Description: This standard is a simplified version and a subset of the IEEE Std 1788TM-2015 for Interval Arithmetic and includes those operations and features of the latter that in the editors' view are most commonly used in practice. IEEE Std 1788.1-2017 specifies interval arithmetic operations based on intervals whose endpoints are IEEE Std 754TM-2008 binary64 floating-point numbers and a decoration system for exception-free computations and propagation of properties of the computed results. A program built on top of an implementation of IEEE Std 1788.1-2017 should compile and run, and give identical output within round off, using an implementation of IEEE Std 1788-2015, or any superset of the former. Compared to IEEE Std 1788-2015, this standard aims to be minimalistic, yet to cover much of the functionality needed for interval computations. As such, it is more accessible and will be much easier to implement, and thus will speed up production of implementations.