that I would be really surprised if it is a 23.5" as Raleigh measured way back to the top.
If you ride a 22.5", too big, I have one and the head tube is considerably shorter.
I think the asking is actually Market, at least in Southern California.
appears low miles, If I wanted an International, buy it, take it apart, as you should do anyway for a bike of this age, sell the frame and look for another International, My guess you could end up even.
the only downside I see is what appears to be 27" wheels. The schrader valves...