nonirrationalness

not defined yet