Synthesizers finished. Float computation bug fixed.