Is notch a billionaire?