src/third_party/devtools/node_modules/core-js/stable/number/index.js

module.exports = require('../../es/number');