RE: [math-fun] Density of sums of squares