compound ket fn: int-divide-by

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:
        plus, minus, times-by, divide-by, mod, round