types strengthened in math objects, untested