Definition:Divisor of Real Number