valid
=====

*valid* is an interval arithmetic using posits and uncertainty bits.