Exploiting redundancy in bit-pipelined rational arithmetic | IEEE Conference Publication | IEEE Xplore