Division by a digit (#5053) - Basecamp