Consider an unknown language with integer and real types in which $1^2,1\mathrm{.}0+2,1+2\mathrm{.}0,$and$1\mathrm{.}0+2\mathrm{.}0$ arealllegalexpressions.