Ответ 1
Это описано в числовых операциях, далее на странице, с объяснением, почему это работает именно так:
Примечание. Если правый тип операндов является подклассом типа левых операндов, и этот подкласс предоставляет отраженный метод для операции, этот метод будет вызываться перед левым операндом, не отраженным методом. Такое поведение позволяет подклассам переопределять операции своих предков.
Документация Python 3 дополнительно упоминает об этом в разделе, которое вы искали:
Если операнды имеют разные типы, а тип правильных операндов является прямым или косвенным подклассом типа левых операндов, метод отражения правильного операнда имеет приоритет, иначе метод левых операндов имеет приоритет. Виртуальное подклассирование не рассматривается.