A lot of work on the math library