as it does not depend on the Point type, and I want to use it next for Vectors. (I can't remove the old one yet as it's still used by Lazy_kernel)
as it does not depend on the Point type, and I want to use it next for Vectors. (I can't remove the old one yet as it's still used by Lazy_kernel)