That is incorrect: 0/0 = |R*, i.e. the entire *extended* real line, in closed interval arithmetic. I think it could be the negative or positive half of it if one considers signed zeros, but I barely remember the details right now.