add testcase for 64bit integers