fix a bug about processing of real number.