real line extension examples