support hardcoded 64-bit integers