Is there a **standard** construction of a metric on one-point compactification of a proper metric space?

**Comments:**

- A metric space is **proper** if all bounded closed sets are compact. 
- **Standard** means *found in literature*.