dominated-convergence1 fatou-lemma1 floating-point1 ieee-7541 kahan-summation1 lebesgue-integration1 measure-theory1 python1 stability1