operator: int-divide-by

    description:
        int-divide-by[n] ket
        integer divide the value in the ket by n, leaving the coefficient unchanged
      
    examples:
        int-divide-by[1000] |123456>
            |123>        

    see also:
        round, times-by, divide-by, plus, minus, mod, is-mod
        big-numbers-to-words.sw