A coverage construction of the reals and the irrationals

I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω+1 to Ω.