More progress on the math library.