Number theory - Real numbers