ALLOW_CONVERTED_DOUBLE_ELEMENTS  257 src/builtins.cc                                       ALLOW_CONVERTED_DOUBLE_ELEMENTS);
ALLOW_CONVERTED_DOUBLE_ELEMENTS 1282 src/objects-inl.h       if (mode == ALLOW_CONVERTED_DOUBLE_ELEMENTS && current->IsNumber()) {