add real-num, and /*comments*/