LAZY: integer division with String output