One company tries to make math fun.