We construct explicit genus 2 hyperelliptic curves whose Jacobian varieties have complex multiplication and are defined over an explicit algebraic number field. For these Jacobians, we give a formula for the number of points on their reductions modulo primes of good reduction. The construction and results can be viewed as a dimension 2 generalization of results of H. Stark. These formulas have application to cryptography and the CM method in dimension 2.