Definition:Origin of Real Number Line