diophantine