Fixed bug where a float could read too large of numbers from integers
Merge branch 'vector-new-instructions' into prog-synth-benchmarks