Numerical probability