Real numbers and elementary algebra