operator: divide-by

    description:
        divide-by[n] ket
        divide the value in the ket by n, leaving the coefficient unchanged
      
    examples:
        divide-by[5] |625.5>
            |125.1>

    see also:
        round, times-by, int-divide-by, plus, minus, mod, is-mod    

Home