void sphere::grow_extent( extent& e) { e.add_sphere( pos, radius); e.add_body(); }
void label::grow_extent( extent& e) { e.add_point( pos ); }