Implementing readInt, a little more work is needed