Merge pull request #773 from zhekov/pointer-from-integer