: discount-value6 ( rate period payment -- discounted-value ) [ ^ recip ] [ * ] bi* ;