Re: [PD-ot] Real numbers (WAS: [PD] CVs) (fwd)