No matches were found for subject:"why infix\\\:div\\\:\\\(Int, Int \\\-\\\- Rat\\\)"