cmpfp: libm3
