Counting rational points on the sphere with bounded denominator | Synapse