Part I Real numbers