diofantine