REAL/LREAL constants