DONT_ALLOW_DOUBLE_ELEMENTS  455 src/builtins.cc       DONT_ALLOW_DOUBLE_ELEMENTS);
DONT_ALLOW_DOUBLE_ELEMENTS  657 src/builtins.cc                                       DONT_ALLOW_DOUBLE_ELEMENTS);
DONT_ALLOW_DOUBLE_ELEMENTS 1313 src/objects-inl.h       mode = DONT_ALLOW_DOUBLE_ELEMENTS;