А я и не спорю... Если никто не приведет убедительных контраргументов -- пусть так и будет. Как мне кажется.

BTW: мне кажется, что вместо динамических массивов проще использовать TList... Как минимум, нет проблем с написанием собственного Insert.
Для real можно использовать два последовательных элемента TList.
А два Find-а ("деление пополам" для Integer и Real) надо просто написать ручками по аналогии.

Вот и все "сворачивание гор".
Конечно же, некоторого времени это потребует....