fixed a subtle rounding bug in SoficProcessor, added nonsofic examples to test