NO_NUMBER_COMPARE_IN_STUB  553 src/code-stubs.h       include_number_compare_((flags & NO_NUMBER_COMPARE_IN_STUB) == 0),
NO_NUMBER_COMPARE_IN_STUB  564 src/code-stubs.h       include_number_compare_((flags & NO_NUMBER_COMPARE_IN_STUB) == 0),