The double at address.
The address must be 8-byte aligned.
external double get value;
external void set value(double value);