Add some interval arithmetic functions