A number-phase Wigner function

One of the most prominent quasiprobability functions in quantum mechanics is the Wigner function that gives the right marginal probability functions if integrated over position or momentum. Here we depart from the definition of the position-momentum Wigner function to, in analogy, construct a number-phase Wigner function that, if summed over photon numbers gives the correct phase distribution and integrated over phase gives the right photon distribution.