Real numbers and their properties