Added an auxiliary math library.