Nonstandard analysis related domains (5)