: discount-value3 ( rate period payment -- discounted-value ) spin 1 + swap ^ 1.0 swap / * ; : discount-value4 ( rate period payment -- discounted-value ) -rot [ 1 + ] dip ^ 1.0 swap / * ;