Are hyperreal numbers isomorphic to formal power series? So if we take $\omega$ as infinite element, there are formal power series (like $\sin \omega$) which are not hyperreals apparently, so the power series seems to be a bigger set than hyperreals?