added irrationals documentation