本原全实域的计数