integer-format: Support 64-bit integers in integer_get().