toJSON(1 .. i64)
