How do I write a concept that detects a pointer to an arithmetic type?
template concept arithmetic = st