Fixed incorrect integer size at 64bit