[math-fun] Fast factoring ??