User blog comment:PsiCubed2/An FS-independent injection from the Countable Ordinals to the reals? (help me find the catch)/@comment-1605058-20171219192418

This is not an injection - many reals will represent the same ordinal. Other than that, it works.