Integer division by 5 (#10764) - Basecamp