Xilinx convergent rounding. We discussed some time ago how to go about ...