Add fork-join parallel sum to compute final reduction of ZDDNumber
stream.