math.big: add vlib/math/big/big_division_test.v (follow-up to 270941a)

Author: spytheman

vlib/math/big/big_division_test.v

@@ -0,0 +1,20 @@
+import math.big
+
+const d_2 = big.integer_from_int(2)
+const d_4 = big.integer_from_int(4)
+const d_10 = big.integer_from_int(10)
+
+fn test_dividing_big_numbers() {
+	mut n := 250_000
+	base := d_10.pow(u32(n - 1))
+	eprintln('> n: ${n} | base.bit_len: ${base.bit_len()}')
+	a := d_4 * base
+	b := d_2 * base
+	eprintln('> a.bit_len: ${a.bit_len()} | b.bit_len: ${b.bit_len()}')
+	assert a.bit_len() == 830481
+	assert b.bit_len() == 830480
+	c := a / b // c should be 2
+	eprintln('> c: ${c} | c.bit_len(): ${c.bit_len()}')
+	assert c.str() == '2'
+	assert c.bit_len() == 2
+}