Update fixedint.h