We could reformulate everything in the language of standard measure theory, or we could transfer our simpler formulations to the infinite case by invoking nonstandard summations of infinitesimal credences.