irrational
not defined yet