Why is this a template to begin with? What's wrong with `static BigUint divInt(BigUint x, uint y)` ?