cpp/types/ptrdiff t

is the signed integer type of the result of subtracting two pointers.