Number lines and inequalities