// Module ID: 13142
// Function ID: 101421
// Name: __exportStarResult3
// Dependencies: [13143]

// Module 13142 (__exportStarResult3)
const require = arg1;
const dependencyMap = arg6;
arg5.GetNumberOption = function GetNumberOption(arg0, arg1, minimumSignificantDigits) {
  return require(13143) /* DefaultNumberOption */.DefaultNumberOption(arg0[arg1], minimumSignificantDigits, arg3, arg4);
};