  We apply a modern axiomatic system of nonstandard analysis in metric fixed
point theory. In particular, we formulate a nonstandard iteration scheme for
nonexpansive mappings and present a nonstandard approach to fixed-point
problems in direct sums of Banach spaces.
