SELECT toInterval(1.0,5.0) + toInterval(-2.0,3.0) FROM stream
=> [-1.0,8.0]
SELECT toInterval(1.0,5.0) - toInterval(-2.0,3.0) FROM stream
=> [-2.0,7.0]
SELECT toInterval(1.0,5.0) * toInterval(-2.0,3.0) FROM stream
=> [-10.0,15.0]
SELECT toInterval(1.0,5.0) / toInterval(-2.0,3.0) FROM stream
=> [-2.5,Infinity]