[math-fun] A better name for math-funners?