I'm rusty, but did think about this a bit at one point. I recall you can't really do the usual constructions on hyperreals (problems with completeness?) but yo

I'm rusty, but did think about this a bit at one point. I recall you can't really do the usual constructions on hyperreals (problems with completeness?) but you can do something like approximate any real-valued measure closely.