irrationalize
not defined yet