The double at address + 8 * index.
address + 8 * index
The address must be 8-byte aligned.
address
external double operator [](int index);