Thanks for the tip... it seems to mention Robinson's 'hyperreals' too...!