defines additional irrationals - View it on GitHub