The Logic of Computer Arithmetic: Prentice-Hall International Series in Electrical Engineering