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

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