Concept definition

Detailed Description

The arithmetic type a coordinate may take.

Constrains #Point and #PointCloud so that instantiating them on an unsuitable type names the offending requirement, rather than failing deep inside a member.