Abstraction on int type usage (x64 issue);