Adjust point radius values for better display.

It seems there is a rule of thumb for choosing the radius values,
depending on the zoom: Each time the zoom gets stronger by 1 unit,
divide the radius by 2.