See https://github.com/data-apis/array-api-extra/pull/451#issuecomment-3361119925 for more details. CC: @lucascolley