Made the number line wider, see #3