:: discount-value7 ( rate period payment -- discounted-value )
    [infix (1.0 / (rate ** period)) * payment infix] ;