Extended real

Summary