Concept: satisfied by primitives with finite spatial extent (is_finite == true).
#include <Traits.hpp>