add: template instantiation for NTL 6