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