Nonstandard analysis and Dempster–Shafer theory