Through some experimentation and thinking, I think I finally got the

proper implementation of bn_div_words() for VAX.

If the tests go through well, the next step will be to test on Alpha.