Create Diophantine.hpp