MySQL port is really an integer