Factorization in rings of integer-valued rational functions | Synapse