validΒΆ

valid is an interval arithmetic using posits and uncertainty bits.