Update Irrational.h