Added most of specs for math library