libm.a is only used by CoIDE and Eclipse. Makefile uses libm.a
which is included in toolchain.

libarm_cortexM4lf_math		= old "original" lib used by Chris & Clint
libarm_cortexM4lf_math_r4p5	= actual newest

DF8OE, Andreas