math.h on Arduino Zero

Hi all, I have a simple question that I can't answer by myself:

does the math.h library work fine on Zero?

I think that this library is included by default in the IDE, but I couldn't make it work on my Zero. Not a specific question, just wondering if math.h on Zero needs any kind of attention (if not, I'll go back on my code :slightly_smiling_face: )

It should work.
Note that floating point numbers and functions on Zero will normally use actual double-precision (64bit) numbers; which is pretty slow.

Thank you very much! :slight_smile: