Fencepost error in bignums.c routine s_m_mod()

    register unit divisor = topUnit + 1;
    assert(firstUnit < topUnit);     /* required for udiv_qrnnd */

The assert should be

assert(firstUnit < divisor)