enable 64bit numbers