fix bug in GenerateLoadExternalArray for DOUBLE element type