math.h is part of the core that gcc brings to the party. Arduino-specific libraries do need to be downloaded.