///|
let excelize_currency_num_fmt : Map[Int, String] = {
  164: "\"¥\"#,##0.00",
  165: "[$$-409]#,##0.00",
  166: "[$$-45C]#,##0.00",
  167: "[$$-1004]#,##0.00",
  168: "[$$-404]#,##0.00",
  169: "[$$-C09]#,##0.00",
  170: "[$$-2809]#,##0.00",
  171: "[$$-1009]#,##0.00",
  172: "[$$-2009]#,##0.00",
  173: "[$$-1409]#,##0.00",
  174: "[$$-4809]#,##0.00",
  175: "[$$-2C09]#,##0.00",
  176: "[$$-2409]#,##0.00",
  177: "[$$-1000]#,##0.00",
  178: "#,##0.00\\ [$$-C0C]",
  179: "[$$-475]#,##0.00",
  180: "[$$-83E]#,##0.00",
  181: "[$$-86B]\\ #,##0.00",
  182: "[$$-340A]\\ #,##0.00",
  183: "[$$-240A]#,##0.00",
  184: "[$$-300A]\\ #,##0.00",
  185: "[$$-440A]#,##0.00",
  186: "[$$-80A]#,##0.00",
  187: "[$$-500A]#,##0.00",
  188: "[$$-540A]#,##0.00",
  189: "[$$-380A]\\ #,##0.00",
  190: "[$£-809]#,##0.00",
  191: "[$£-491]#,##0.00",
  192: "[$£-452]#,##0.00",
  193: "[$¥-804]#,##0.00",
  194: "[$¥-411]#,##0.00",
  195: "[$¥-478]#,##0.00",
  196: "[$¥-451]#,##0.00",
  197: "[$¥-480]#,##0.00",
  198: "#,##0.00\\ [$֏-42B]",
  199: "[$؋-463]#,##0.00",
  200: "[$؋-48C]#,##0.00",
  201: "[$৳-845]\\ #,##0.00",
  202: "#,##0.00[$៛-453]",
  203: "[$₡-140A]#,##0.00",
  204: "[$₦-468]\\ #,##0.00",
  205: "[$₦-470]\\ #,##0.00",
  206: "[$₩-412]#,##0.00",
  207: "[$₪-40D]\\ #,##0.00",
  208: "#,##0.00\\ [$₫-42A]",
  209: "#,##0.00\\ [$€-42D]",
  210: "#,##0.00\\ [$€-47E]",
  211: "#,##0.00\\ [$€-403]",
  212: "#,##0.00\\ [$€-483]",
  213: "[$€-813]\\ #,##0.00",
  214: "[$€-413]\\ #,##0.00",
  215: "[$€-1809]#,##0.00",
  216: "#,##0.00\\ [$€-425]",
  217: "[$€-2]\\ #,##0.00",
  218: "#,##0.00\\ [$€-1]",
  219: "#,##0.00\\ [$€-40B]",
  220: "#,##0.00\\ [$€-80C]",
  221: "#,##0.00\\ [$€-40C]",
  222: "#,##0.00\\ [$€-140C]",
  223: "#,##0.00\\ [$€-180C]",
  224: "[$€-200C]#,##0.00",
  225: "#,##0.00\\ [$€-456]",
  226: "#,##0.00\\ [$€-C07]",
  227: "#,##0.00\\ [$€-407]",
  228: "#,##0.00\\ [$€-1007]",
  229: "#,##0.00\\ [$€-408]",
  230: "#,##0.00\\ [$€-243B]",
  231: "[$€-83C]#,##0.00",
  232: "[$€-410]\\ #,##0.00",
  233: "[$€-476]#,##0.00",
  234: "#,##0.00\\ [$€-2C1A]",
  235: "[$€-426]\\ #,##0.00",
  236: "#,##0.00\\ [$€-427]",
  237: "#,##0.00\\ [$€-82E]",
  238: "#,##0.00\\ [$€-46E]",
  239: "[$€-43A]#,##0.00",
  240: "#,##0.00\\ [$€-C3B]",
  241: "#,##0.00\\ [$€-482]",
  242: "#,##0.00\\ [$€-816]",
  243: "#,##0.00\\ [$€-301A]",
  244: "#,##0.00\\ [$€-203B]",
  245: "#,##0.00\\ [$€-41B]",
  246: "#,##0.00\\ [$€-424]",
  247: "#,##0.00\\ [$€-C0A]",
  248: "#,##0.00\\ [$€-81D]",
  249: "#,##0.00\\ [$€-484]",
  250: "#,##0.00\\ [$€-42E]",
  251: "[$€-462]\\ #,##0.00",
  252: "#,##0.00\\ [$₭-454]",
  253: "#,##0.00\\ [$₮-450]",
  254: "[$₮-C50]#,##0.00",
  255: "[$₱-3409]#,##0.00",
  256: "[$₱-464]#,##0.00",
  257: "#,##0.00[$₴-422]",
  258: "[$₸-43F]#,##0.00",
  259: "[$₹-460]#,##0.00",
  260: "[$₹-4009]\\ #,##0.00",
  261: "[$₹-447]\\ #,##0.00",
  262: "[$₹-439]\\ #,##0.00",
  263: "[$₹-44B]\\ #,##0.00",
  264: "[$₹-860]#,##0.00",
  265: "[$₹-457]\\ #,##0.00",
  266: "[$₹-458]#,##0.00",
  267: "[$₹-44E]\\ #,##0.00",
  268: "[$₹-861]#,##0.00",
  269: "[$₹-448]\\ #,##0.00",
  270: "[$₹-446]\\ #,##0.00",
  271: "[$₹-44F]\\ #,##0.00",
  272: "[$₹-459]#,##0.00",
  273: "[$₹-449]\\ #,##0.00",
  274: "[$₹-820]#,##0.00",
  275: "#,##0.00\\ [$₺-41F]",
  276: "#,##0.00\\ [$₼-42C]",
  277: "#,##0.00\\ [$₼-82C]",
  278: "#,##0.00\\ [$₽-419]",
  279: "#,##0.00[$₽-485]",
  280: "#,##0.00\\ [$₾-437]",
  281: "[$B/.-180A]\\ #,##0.00",
  282: "[$Br-472]#,##0.00",
  283: "[$Br-477]#,##0.00",
  284: "#,##0.00[$Br-473]",
  285: "[$Bs-46B]\\ #,##0.00",
  286: "[$Bs-400A]\\ #,##0.00",
  287: "[$Bs.-200A]\\ #,##0.00",
  288: "[$BWP-832]\\ #,##0.00",
  289: "[$C$-4C0A]#,##0.00",
  290: "[$CA$-85D]#,##0.00",
  291: "[$CA$-47C]#,##0.00",
  292: "[$CA$-45D]#,##0.00",
  293: "[$CFA-340C]#,##0.00",
  294: "[$CFA-280C]#,##0.00",
  295: "#,##0.00\\ [$CFA-867]",
  296: "#,##0.00\\ [$CFA-488]",
  297: "#,##0.00\\ [$CHF-100C]",
  298: "[$CHF-1407]\\ #,##0.00",
  299: "[$CHF-807]\\ #,##0.00",
  300: "[$CHF-810]\\ #,##0.00",
  301: "[$CHF-417]\\ #,##0.00",
  302: "[$CLP-47A]\\ #,##0.00",
  303: "[$CN¥-850]#,##0.00",
  304: "#,##0.00\\ [$DZD-85F]",
  305: "[$FCFA-2C0C]#,##0.00",
  306: "#,##0.00\\ [$Ft-40E]",
  307: "[$G-3C0C]#,##0.00",
  308: "[$Gs.-3C0A]\\ #,##0.00",
  309: "[$GTQ-486]#,##0.00",
  310: "[$HK$-C04]#,##0.00",
  311: "[$HK$-3C09]#,##0.00",
  312: "#,##0.00\\ [$HRK-41A]",
  313: "[$IDR-3809]#,##0.00",
  314: "[$IQD-492]#,##0.00",
  315: "#,##0.00\\ [$ISK-40F]",
  316: "[$K-455]#,##0.00",
  317: "#,##0.00\\ [$Kč-405]",
  318: "#,##0.00\\ [$KM-141A]",
  319: "#,##0.00\\ [$KM-101A]",
  320: "#,##0.00\\ [$KM-181A]",
  321: "[$kr-438]\\ #,##0.00",
  322: "[$kr-43B]\\ #,##0.00",
  323: "#,##0.00\\ [$kr-83B]",
  324: "[$kr-414]\\ #,##0.00",
  325: "[$kr-814]\\ #,##0.00",
  326: "#,##0.00\\ [$kr-41D]",
  327: "[$kr.-406]\\ #,##0.00",
  328: "[$kr.-46F]\\ #,##0.00",
  329: "[$Ksh-441]#,##0.00",
  330: "[$L-818]#,##0.00",
  331: "[$L-819]#,##0.00",
  332: "[$L-480A]\\ #,##0.00",
  333: "#,##0.00\\ [$Lekë-41C]",
  334: "[$MAD-45F]#,##0.00",
  335: "[$MAD-380C]#,##0.00",
  336: "#,##0.00\\ [$MAD-105F]",
  337: "[$MOP$-1404]#,##0.00",
  338: "#,##0.00\\ [$MVR-465]_-",
  339: "#,##0.00[$Nfk-873]",
  340: "[$NGN-466]#,##0.00",
  341: "[$NGN-467]#,##0.00",
  342: "[$NGN-469]#,##0.00",
  343: "[$NGN-471]#,##0.00",
  344: "[$NOK-103B]\\ #,##0.00",
  345: "[$NOK-183B]\\ #,##0.00",
  346: "[$NZ$-481]#,##0.00",
  347: "[$PKR-859]\\ #,##0.00",
  348: "[$PYG-474]#,##0.00",
  349: "[$Q-100A]#,##0.00",
  350: "[$R-436]\\ #,##0.00",
  351: "[$R-1C09]\\ #,##0.00",
  352: "[$R-435]\\ #,##0.00",
  353: "[$R$-416]\\ #,##0.00",
  354: "[$RD$-1C0A]#,##0.00",
  355: "#,##0.00\\ [$RF-487]",
  356: "[$RM-4409]#,##0.00",
  357: "[$RM-43E]#,##0.00",
  358: "#,##0.00\\ [$RON-418]",
  359: "[$Rp-421]#,##0.00",
  360: "[$Rs-420]#,##0.00_-",
  361: "[$Rs.-849]\\ #,##0.00",
  362: "#,##0.00\\ [$RSD-81A]",
  363: "#,##0.00\\ [$RSD-C1A]",
  364: "#,##0.00\\ [$RUB-46D]",
  365: "#,##0.00\\ [$RUB-444]",
  366: "[$S/.-C6B]\\ #,##0.00",
  367: "[$S/.-280A]\\ #,##0.00",
  368: "#,##0.00\\ [$SEK-143B]",
  369: "#,##0.00\\ [$SEK-1C3B]",
  370: "#,##0.00\\ [$soʻm-443]",
  371: "#,##0.00\\ [$soʻm-843]",
  372: "#,##0.00\\ [$SYP-45A]",
  373: "[$THB-41E]#,##0.00",
  374: "#,##0.00[$TMT-442]",
  375: "[$US$-3009]#,##0.00",
  376: "[$ZAR-46C]\\ #,##0.00",
  377: "[$ZAR-430]#,##0.00",
  378: "[$ZAR-431]#,##0.00",
  379: "[$ZAR-432]\\ #,##0.00",
  380: "[$ZAR-433]#,##0.00",
  381: "[$ZAR-434]\\ #,##0.00",
  382: "#,##0.00\\ [$zł-415]",
  383: "#,##0.00\\ [$ден-42F]",
  384: "#,##0.00\\ [$КМ-201A]",
  385: "#,##0.00\\ [$КМ-1C1A]",
  386: "#,##0.00\\ [$лв.-402]",
  387: "#,##0.00\\ [$р.-423]",
  388: "#,##0.00\\ [$сом-440]",
  389: "#,##0.00\\ [$сом-428]",
  390: "[$ج.م.-C01]\\ #,##0.00_-",
  391: "[$د.أ.-2C01]\\ #,##0.00_-",
  392: "[$د.إ.-3801]\\ #,##0.00_-",
  393: "[$د.ب.-3C01]\\ #,##0.00_-",
  394: "[$د.ت.-1C01]\\ #,##0.00_-",
  395: "[$د.ج.-1401]\\ #,##0.00_-",
  396: "[$د.ع.-801]\\ #,##0.00_-",
  397: "[$د.ك.-3401]\\ #,##0.00_-",
  398: "[$د.ل.-1001]#,##0.00_-",
  399: "[$د.م.-1801]\\ #,##0.00_-",
  400: "[$ر-846]\\ #,##0.00",
  401: "[$ر.س.-401]\\ #,##0.00_-",
  402: "[$ر.ع.-2001]\\ #,##0.00_-",
  403: "[$ر.ق.-4001]\\ #,##0.00_-",
  404: "[$ر.ي.-2401]\\ #,##0.00_-",
  405: "[$ریال-429]#,##0.00_-",
  406: "[$ل.س.-2801]\\ #,##0.00_-",
  407: "[$ل.ل.-3001]\\ #,##0.00_-",
  408: "[$ብር-45E]#,##0.00",
  409: "[$रू-461]#,##0.00",
  410: "[$රු.-45B]\\ #,##0.00",
  411: "[$ADP]\\ #,##0.00",
  412: "[$AED]\\ #,##0.00",
  413: "[$AFA]\\ #,##0.00",
  414: "[$AFN]\\ #,##0.00",
  415: "[$ALL]\\ #,##0.00",
  416: "[$AMD]\\ #,##0.00",
  417: "[$ANG]\\ #,##0.00",
  418: "[$AOA]\\ #,##0.00",
  419: "[$ARS]\\ #,##0.00",
  420: "[$ATS]\\ #,##0.00",
  421: "[$AUD]\\ #,##0.00",
  422: "[$AWG]\\ #,##0.00",
  423: "[$AZM]\\ #,##0.00",
  424: "[$AZN]\\ #,##0.00",
  425: "[$BAM]\\ #,##0.00",
  426: "[$BBD]\\ #,##0.00",
  427: "[$BDT]\\ #,##0.00",
  428: "[$BEF]\\ #,##0.00",
  429: "[$BGL]\\ #,##0.00",
  430: "[$BGN]\\ #,##0.00",
  431: "[$BHD]\\ #,##0.00",
  432: "[$BIF]\\ #,##0.00",
  433: "[$BMD]\\ #,##0.00",
  434: "[$BND]\\ #,##0.00",
  435: "[$BOB]\\ #,##0.00",
  436: "[$BOV]\\ #,##0.00",
  437: "[$BRL]\\ #,##0.00",
  438: "[$BSD]\\ #,##0.00",
  439: "[$BTN]\\ #,##0.00",
  440: "[$BWP]\\ #,##0.00",
  441: "[$BYR]\\ #,##0.00",
  442: "[$BZD]\\ #,##0.00",
  443: "[$CAD]\\ #,##0.00",
  444: "[$CDF]\\ #,##0.00",
  445: "[$CHE]\\ #,##0.00",
  446: "[$CHF]\\ #,##0.00",
  447: "[$CHW]\\ #,##0.00",
  448: "[$CLF]\\ #,##0.00",
  449: "[$CLP]\\ #,##0.00",
  450: "[$CNY]\\ #,##0.00",
  451: "[$COP]\\ #,##0.00",
  452: "[$COU]\\ #,##0.00",
  453: "[$CRC]\\ #,##0.00",
  454: "[$CSD]\\ #,##0.00",
  455: "[$CUC]\\ #,##0.00",
  456: "[$CVE]\\ #,##0.00",
  457: "[$CYP]\\ #,##0.00",
  458: "[$CZK]\\ #,##0.00",
  459: "[$DEM]\\ #,##0.00",
  460: "[$DJF]\\ #,##0.00",
  461: "[$DKK]\\ #,##0.00",
  462: "[$DOP]\\ #,##0.00",
  463: "[$DZD]\\ #,##0.00",
  464: "[$ECS]\\ #,##0.00",
  465: "[$ECV]\\ #,##0.00",
  466: "[$EEK]\\ #,##0.00",
  467: "[$EGP]\\ #,##0.00",
  468: "[$ERN]\\ #,##0.00",
  469: "[$ESP]\\ #,##0.00",
  470: "[$ETB]\\ #,##0.00",
  471: "[$EUR]\\ #,##0.00",
  472: "[$FIM]\\ #,##0.00",
  473: "[$FJD]\\ #,##0.00",
  474: "[$FKP]\\ #,##0.00",
  475: "[$FRF]\\ #,##0.00",
  476: "[$GBP]\\ #,##0.00",
  477: "[$GEL]\\ #,##0.00",
  478: "[$GHC]\\ #,##0.00",
  479: "[$GHS]\\ #,##0.00",
  480: "[$GIP]\\ #,##0.00",
  481: "[$GMD]\\ #,##0.00",
  482: "[$GNF]\\ #,##0.00",
  483: "[$GRD]\\ #,##0.00",
  484: "[$GTQ]\\ #,##0.00",
  485: "[$GYD]\\ #,##0.00",
  486: "[$HKD]\\ #,##0.00",
  487: "[$HNL]\\ #,##0.00",
  488: "[$HRK]\\ #,##0.00",
  489: "[$HTG]\\ #,##0.00",
  490: "[$HUF]\\ #,##0.00",
  491: "[$IDR]\\ #,##0.00",
  492: "[$IEP]\\ #,##0.00",
  493: "[$ILS]\\ #,##0.00",
  494: "[$INR]\\ #,##0.00",
  495: "[$IQD]\\ #,##0.00",
  496: "[$IRR]\\ #,##0.00",
  497: "[$ISK]\\ #,##0.00",
  498: "[$ITL]\\ #,##0.00",
  499: "[$JMD]\\ #,##0.00",
  500: "[$JOD]\\ #,##0.00",
  501: "[$JPY]\\ #,##0.00",
  502: "[$KAF]\\ #,##0.00",
  503: "[$KES]\\ #,##0.00",
  504: "[$KGS]\\ #,##0.00",
  505: "[$KHR]\\ #,##0.00",
  506: "[$KMF]\\ #,##0.00",
  507: "[$KPW]\\ #,##0.00",
  508: "[$KRW]\\ #,##0.00",
  509: "[$KWD]\\ #,##0.00",
  510: "[$KYD]\\ #,##0.00",
  511: "[$KZT]\\ #,##0.00",
  512: "[$LAK]\\ #,##0.00",
  513: "[$LBP]\\ #,##0.00",
  514: "[$LKR]\\ #,##0.00",
  515: "[$LRD]\\ #,##0.00",
  516: "[$LSL]\\ #,##0.00",
  517: "[$LTL]\\ #,##0.00",
  518: "[$LUF]\\ #,##0.00",
  519: "[$LVL]\\ #,##0.00",
  520: "[$LYD]\\ #,##0.00",
  521: "[$MAD]\\ #,##0.00",
  522: "[$MDL]\\ #,##0.00",
  523: "[$MGA]\\ #,##0.00",
  524: "[$MGF]\\ #,##0.00",
  525: "[$MKD]\\ #,##0.00",
  526: "[$MMK]\\ #,##0.00",
  527: "[$MNT]\\ #,##0.00",
  528: "[$MOP]\\ #,##0.00",
  529: "[$MRO]\\ #,##0.00",
  530: "[$MTL]\\ #,##0.00",
  531: "[$MUR]\\ #,##0.00",
  532: "[$MVR]\\ #,##0.00",
  533: "[$MWK]\\ #,##0.00",
  534: "[$MXN]\\ #,##0.00",
  535: "[$MXV]\\ #,##0.00",
  536: "[$MYR]\\ #,##0.00",
  537: "[$MZM]\\ #,##0.00",
  538: "[$MZN]\\ #,##0.00",
  539: "[$NAD]\\ #,##0.00",
  540: "[$NGN]\\ #,##0.00",
  541: "[$NIO]\\ #,##0.00",
  542: "[$NLG]\\ #,##0.00",
  543: "[$NOK]\\ #,##0.00",
  544: "[$NPR]\\ #,##0.00",
  545: "[$NTD]\\ #,##0.00",
  546: "[$NZD]\\ #,##0.00",
  547: "[$OMR]\\ #,##0.00",
  548: "[$PAB]\\ #,##0.00",
  549: "[$PEN]\\ #,##0.00",
  550: "[$PGK]\\ #,##0.00",
  551: "[$PHP]\\ #,##0.00",
  552: "[$PKR]\\ #,##0.00",
  553: "[$PLN]\\ #,##0.00",
  554: "[$PTE]\\ #,##0.00",
  555: "[$PYG]\\ #,##0.00",
  556: "[$QAR]\\ #,##0.00",
  557: "[$ROL]\\ #,##0.00",
  558: "[$RON]\\ #,##0.00",
  559: "[$RSD]\\ #,##0.00",
  560: "[$RUB]\\ #,##0.00",
  561: "[$RUR]\\ #,##0.00",
  562: "[$RWF]\\ #,##0.00",
  563: "[$SAR]\\ #,##0.00",
  564: "[$SBD]\\ #,##0.00",
  565: "[$SCR]\\ #,##0.00",
  566: "[$SDD]\\ #,##0.00",
  567: "[$SDG]\\ #,##0.00",
  568: "[$SDP]\\ #,##0.00",
  569: "[$SEK]\\ #,##0.00",
  570: "[$SGD]\\ #,##0.00",
  571: "[$SHP]\\ #,##0.00",
  572: "[$SIT]\\ #,##0.00",
  573: "[$SKK]\\ #,##0.00",
  574: "[$SLL]\\ #,##0.00",
  575: "[$SOS]\\ #,##0.00",
  576: "[$SPL]\\ #,##0.00",
  577: "[$SRD]\\ #,##0.00",
  578: "[$SRG]\\ #,##0.00",
  579: "[$STD]\\ #,##0.00",
  580: "[$SVC]\\ #,##0.00",
  581: "[$SYP]\\ #,##0.00",
  582: "[$SZL]\\ #,##0.00",
  583: "[$THB]\\ #,##0.00",
  584: "[$TJR]\\ #,##0.00",
  585: "[$TJS]\\ #,##0.00",
  586: "[$TMM]\\ #,##0.00",
  587: "[$TMT]\\ #,##0.00",
  588: "[$TND]\\ #,##0.00",
  589: "[$TOP]\\ #,##0.00",
  590: "[$TRL]\\ #,##0.00",
  591: "[$TRY]\\ #,##0.00",
  592: "[$TTD]\\ #,##0.00",
  593: "[$TWD]\\ #,##0.00",
  594: "[$TZS]\\ #,##0.00",
  595: "[$UAH]\\ #,##0.00",
  596: "[$UGX]\\ #,##0.00",
  597: "[$USD]\\ #,##0.00",
  598: "[$USN]\\ #,##0.00",
  599: "[$USS]\\ #,##0.00",
  600: "[$UYI]\\ #,##0.00",
  601: "[$UYU]\\ #,##0.00",
  602: "[$UZS]\\ #,##0.00",
  603: "[$VEB]\\ #,##0.00",
  604: "[$VEF]\\ #,##0.00",
  605: "[$VND]\\ #,##0.00",
  606: "[$VUV]\\ #,##0.00",
  607: "[$WST]\\ #,##0.00",
  608: "[$XAF]\\ #,##0.00",
  609: "[$XAG]\\ #,##0.00",
  610: "[$XAU]\\ #,##0.00",
  611: "[$XB5]\\ #,##0.00",
  612: "[$XBA]\\ #,##0.00",
  613: "[$XBB]\\ #,##0.00",
  614: "[$XBC]\\ #,##0.00",
  615: "[$XBD]\\ #,##0.00",
  616: "[$XCD]\\ #,##0.00",
  617: "[$XDR]\\ #,##0.00",
  618: "[$XFO]\\ #,##0.00",
  619: "[$XFU]\\ #,##0.00",
  620: "[$XOF]\\ #,##0.00",
  621: "[$XPD]\\ #,##0.00",
  622: "[$XPF]\\ #,##0.00",
  623: "[$XPT]\\ #,##0.00",
  624: "[$XTS]\\ #,##0.00",
  625: "[$XXX]\\ #,##0.00",
  626: "[$YER]\\ #,##0.00",
  627: "[$YUM]\\ #,##0.00",
  628: "[$ZAR]\\ #,##0.00",
  629: "[$ZMK]\\ #,##0.00",
  630: "[$ZMW]\\ #,##0.00",
  631: "[$ZWD]\\ #,##0.00",
  632: "[$ZWL]\\ #,##0.00",
  633: "[$ZWN]\\ #,##0.00",
  634: "[$ZWR]\\ #,##0.00",
}

///|
fn excelize_currency_num_fmt_code(num_fmt : Int) -> String? {
  excelize_currency_num_fmt.get(num_fmt)
}