Re: Point-free affine real line?