Experimental arithmetic, high speed computing and mathematics