Add __floordiv__