A couple of todo items for piranha.hpp and mp_rational.