Filling in math.h