Там же линейная интерполяция:
value = 1000 + 135 * (15000 - 1000) / 180 = 11500
Но это не учитывает сокращение диапазона пикселей из-за толщины «рукоятки» слайдера — а это уже зависит от стилей, платформы, браузера, положения Венеры в Марсе.
Так выглядит range slider в крайнем правом положении в Mozilla Firefox 106 под Mac Os X:
ширина 150px в масштабе 170%. Сверху точно той же ширины div с тёмной заливкой.
CodePen.
Слайдер почему-то смещен на неск. пикселей правее div'а, но длина точно такая же.
Кнопка ездит, не вылезая за края диапазона. Значит, фактический диапазон пикселей меньше, чем сам слайдер.