Erd\H{o}s \cite{Er95} could prove the distribution function is purely singular. References [Er95] Erd\H{o}s, Paul, Some of my favourite problems in number theory, combinatorics, and geometry. Resenhas (1995), 165-186.