A Proposal to add Interval Arithmetic to the C++ Standard Library