// Module ID: 13751
// Function ID: 13752
// Name: __exportStarResult3
// Dependencies: [13752]

// Module 13751 (__exportStarResult3)
import DefaultNumberOption from "DefaultNumberOption" /* 13752 */;

require = arg1;
const dependencyMap = arg6;
arg5.GetNumberOption = function GetNumberOption(result1, minimumIntegerDigits, minimumSignificantDigits, arg3, arg4) {
  return DefaultNumberOption.DefaultNumberOption(result1[minimumIntegerDigits], minimumSignificantDigits, arg3, arg4);
};