Is it necessary for the code in this one to be duplicated, or could this use the #include "dynd_int128.cpp" trick as well?