Real numbers (Switzerland; Springer, 2013)