If FIXEDUSEFLOAT is NOT defined, (flash root)/(platform directory)/Fixed.h is included by the fixed point code. Multiplication and division of 16.16 fixed point numbers can be defined here as a performance optimization. Plenty of examples are given. If you have a 64 bit type, implementing Fixed is near trivial - set up the HAVE64BIT and S64 defines. Other (assembly) examples for your perusal are included.