toJSON(i < i64)
