integer-format: Support 8-byte values in integer_put().