Reduce the am() functions to am3; add a couple more biginteger tests.