Fixed points in the nonstandard hull of a Banach space.