rationalization of irrational number |