Oh, maybe it's performing more complicated interval arithmetic. I had no idea. That's kind of cool!