From b3e03c2f7bf078d48a3b6c83fdb1a7211570f09b Mon Sep 17 00:00:00 2001
From: RunasSudo <runassudo@yingtongli.me>
Date: Sat, 17 Oct 2020 23:09:23 +1100
Subject: [PATCH] Add number class selection dropdown

---
 test.html | 9 +++++++++
 1 file changed, 9 insertions(+)
diff --git a/test.html b/test.html
index 14e9150..44c7f9b 100644
--- a/test.html
+++ b/test.html
@@ -7,6 +7,7 @@
 	<body>
 		<input type="file" id="bltFile">
 		<button onclick="clickBtn();">OK</button>
+		<select id="numbers"><option value="native" selected>Native</option><option value="rational">Rational</option></select>
 		
 		<table id="result"></table>
 		
@@ -15,6 +16,14 @@
 		
 		<script>
 			async function clickBtn() {
+				// Set numbers class
+				if (document.getElementById('numbers').value == 'native') {
+					py.pyRCV2.numbers.set_numclass(py.pyRCV2.numbers.Native);
+				}
+				if (document.getElementById('numbers').value == 'rational') {
+					py.pyRCV2.numbers.set_numclass(py.pyRCV2.numbers.Rational);
+				}
+				
 				// Read BLT file
 				let bltFile = document.getElementById('bltFile').files[0];
 				let text = await bltFile.text();
