Make integer values 64bit (bug 1171).