double-checking tests and writing documentation on math libs