Input: fix accuracy of fixp-arith.h