Operations on surds & rationalization