[math-fun] math-fun no longer ASCII ??