Updated binary2bcd.v to be synthesisable with Xilinx XST