Add some tests to math support
Add math types and forgotten library file