Fixed-Point Code Synthesis For Neural Networks