equidistribution, horocycles, distribution mod 1