Synthesizer for accurate fixed-point arithmetic expressions