A set of average city temperatures in July are normally distributed with a mean of $23.5 ^\circ \text{C}$ and a standard deviation of $2 ^\circ \text{C}$. The average temperature of Rabat is $23 ^\circ \text{C}$.
**What proportion of average city temperatures are higher than that of Rabat?**
*Give your answer correct to four decimal places.*
[[☃ numeric-input 1]]