The Real Numbers are Weird