UCADR 516 works to the best of my knowledge, but has only been tested for about 5 minutes and I may have introduced some bugs into the bignum routines. Also this version has not actually been assembled yet; patches corresponding to it were tested.