int64 is a type, don't do't to stdout