toJSON([i64])
