finish real number and set