Add tests for fixnum operations on the boundary conditions.

Also change type of - on negative fixnums to be more precise.