WRITE_DOUBLE_FIELD 1202 src/objects-inl.h   WRITE_DOUBLE_FIELD(this, kValueOffset, value);
WRITE_DOUBLE_FIELD 1756 src/objects-inl.h   WRITE_DOUBLE_FIELD(this, offset, value);
WRITE_DOUBLE_FIELD 1764 src/objects-inl.h   WRITE_DOUBLE_FIELD(this, offset, hole_nan_as_double());