Functions with input check

[szigetij]

Functions with input check

[SzigetiJ]

division

 BigUInt128 a = biguint128_value_of_uint(536343);
 BigUInt128 b = biguint128_ctor_default();
 BigUIntPair128 res = biguint128_div(&a, &b);

results in both res.first and res.second are 536343 (a).

Division is already safe.

 BigUInt128 a = biguint128_value_of_uint(536343);
 BigUInt128 b0 = biguint128_shr(&a, 435);
 BigUInt128 b1 = biguint128_shl(&a, 435);

results in both b0 and b1 equal to 0.

Shift operations are also safe.

Nothing to do.