Candidates for extended-reals

No candidates exist for extended-reals. Upload one for this or another package?