This is very interesting! I made an interval arithmetic calculator a few months ago [0]. I wonder if you could combine the two techs to make something even more powerful.

[0] https://victorpoughon.github.io/interval-calculator/