That's a mistake on my part, good catch. It should be #include "dynd_int128.cpp", I'll change it.