Encrypted integer division and secure comparison | Synapse