Significance arithmetic: the probability of carrying