This article covers three topics. (1) It establishes links between the density of certain subsets of the set of primes and related subsets of the set of natural numbers. (2) It extends previous results on a conjecture of Bruinier and Kohnen in three ways: the CM-case is included; under the assumption of the same error term as in previous work one obtains the result in terms of natural density instead of Dedekind-Dirichlet density; the latter type of density can already be achieved by an error term like in the prime number theorem. (3) It also provides a complete proof of Sato-Tate equidistribution for CM modular forms with an error term similar to that in the prime number theorem.In this section we are concerned with the setsfor a multiplicative arithmetic function χ : N → {−1, 0, +1}, as explained in the introduction. We found it necessary to assume more than just that S ± has a natural density in order to conclude something about the density of A ± ; namely, we obtain our results under the assumption that S ± is (weakly) regular (see below). We also show that (weak) regularity is a consequence of a sufficiently good error bound for the convergence of the natural density of S ± . P <0 = {p ∈ P : ψ(p) = −1}, and P =0 = {p ∈ P : ψ(p) = 0}. Theorem 4.1.1 shows that these sets are weakly regular and allows us to conclude due to Proposition 2.3.1. Corollary 4.3.2. Let χ as above. Assume the setting of part (d) of Theorem 4.1.1. Then the sets {n ∈ N | n ∈ N χ and a(tn 2 ) > 0} and {n ∈ N | n ∈ N χ and a(tn 2 ) < 0} have equal positive natural densities, that is, both are precisely half of the density of the set {n ∈ N | n ∈ N χ and a(tn 2 ) = 0}.Proof. The proof proceeds precisely as that of Corollary 4.3.1, except that in the end we appeal to Proposition 2.5.2.