  We survey our recent work on an extension of the theory of motivic
integration, called arithmetic motivic integration. We developed this theory to
understand how p-adic integrals of a very general type depend on p.
