Adding essential supremum for extended reals

[hoheinzollern]

Co-authored-by: @jmmarulang

Motivation for this change

Addresses issue #1360

Checklist

• [x] added corresponding entries in CHANGELOG_UNRELEASED.md

• [x] added corresponding documentation in the headers

Reference: How to document

Reminder to reviewers

• Read this Checklist
• Put a milestone if possible
• Check labels