Fixed-point Encoding and Architecture Exploration for Residue Number Systems | Synapse