node_modules/nyc/node_modules/core-js/library/modules/es6.number.max-safe-integer.js

// 20.1.2.6 Number.MAX_SAFE_INTEGER
var $export = require('./_export');

$export($export.S, 'Number', { MAX_SAFE_INTEGER: 0x1fffffffffffff });