Fixing arithmetic dumbness.
Tests for the binary arithmetic bug
Add arithmetic operations to float.
Unit-tests for basic arithmetic operations.
Add chained arithmetic to unit-tests.
Revert accidental change to the path of memcheck.h. My bad.
Merged with master