points_to_pixels()

John,
I think the doc string for points_to_pixels() in backend_bases.py and
backend_template.py should be updated define its return type.
Does points_to_pixels() return int, float, or float if the backend
supports it (agg) else int (gtk)?

Regards
Steve