I hadn't seen that, given that I was just reverting some bad edit. It makes sense to make it the same. And given the uncertainty involved, it makes more sense to opt for the second way, because that does not suggest more accuracy than there is.