Definition:Part of Real Number