According to that post, the average cyclist speed in the city is 15kph, or 9.3mph.
As yoder notes, it's quite possible to ride at a pace that doesn't generate any
more perspiration than walking would. I'd guess that pace is pretty close to 9.3mph.