LPCXpresso: use non-floating-point printf