Added barrett modular reduction.  Doesn't quite work.