Fix issue #7 failed test on 32bits computer