diaphantine