Pull cpp code into the header file for the BinaryDice library