ну я думаю там какие-то оптимизаторы обрезают вторую часть /64
Вообще достаточно много оптимизаций существует при рекомендованной схеме нарезок. Типа лукапа только по одной половине адреса - магистралы могут смотреть только по первой половине адреса, а владелец уже только по второй. Что уже дофига дешевле работы со 128-битным адресом. Хранение только 64 бит вместо 128 из той же оперы