toJSON(i64 < i32)
