python:pathlib库中的除法（/）是如何重载成字符串拼接的？

我看过了整个pathlib没有找到重载_div_或者任何操作符的方法，留到以后有缘再解决吧，今天的上海好冷啊