Update rational.h