server: ignore leading zeroes