Fixed a bug in the InputIntDecimal class. Added some tests to test the BinaryInt class