Real line numbers