Quantum Frobenius and modularity for quantum groups at arbitrary roots of 1 | Synapse