100 [0] [[1.0 swap /] dip +] primrec.