real-number constant