Updated fixed-point.h