The Strength of Nonstandard Analysis by