Reconcile dr-integration-prime with dr-integration