| http://www.w3.org/ns/prov#value | - rounding circuitry including said adder and a selector that selectably applies as a second input to said adder one of (a) output of said adder, whereby said adder functions as an accumulator, and (b) a rounding constant, whereby output of said adder, truncated to a selected bit position, is a rounded version of said result.
|
