FlattenNumber     115 src/accessors.cc   value = FlattenNumber(value);
FlattenNumber     120 src/accessors.h   static Object* FlattenNumber(Object* value);