Converts a BigInteger to a Byte Array.
u1arr
Flavor:Operator U1[] ← u1arr BI
U1[] ← u1arr BI
Flavor:Blueprint U1[] ← u1arr BI