[libre-riscv-dev] div/mod algorithm written in python

[Luke Kenneth Casson Leighton]

... nope, nope, i got it: i'm with it, now :)  dividing the exponent
by two, the only way to do that in a sane fashion is if it's an even
number.  *sigh* got there in the end.