ASC-SL-Real Numbers-X