Change int preserving ops from a hash-specific name to more general name
Merge pull request #58 from patrickgombert/rename-int-preserved-ops

Change int preserving ops from a hash-specific name to more general name