Prettier printing for infix functions like `div`