Added real number substitution