int23