Fix definition of checked_cpp_rational.
Add missing "unsigned long" to typelist.
Update doc history.