Added float_inc and float_dec
Merge branch 'instruction-additions' into prog-synth-benchmarks
Added the Collatz Numbers problem