s-arit64.adb (Double_Divide): Put back changes that got accidentally removed during the previous update (test...

	* s-arit64.adb (Double_Divide): Put back changes that got accidentally
	removed during the previous update (test properly for case of dividing
	largest negative number by -1, which generates overflow).

From-SVN: r92847