Simplified biginteger.
Added biginteger to tex.