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.