Lectures on the Hyperreals