Kokusai Electric raises $724.4 mln after setting IPO price at the top end of range