// 20.1.2.6 Number.MAX_SAFE_INTEGER var $export = require('./$.export'); $export($export.S, 'Number', {MAX_SAFE_INTEGER: 0x1fffffffffffff});