int64 instead of double for numeric string example

The format registry currently doesn't specify that double works
with strings, so pick something that works with strings as of now.