[mjreacher]

There is indeed an equivalent of the Lebesgue integral available in several textbooks, for example `Nonstandard Analysis for the Working Mathematician`.