i've seen (and had, BITD) original decal US Pro Racers that measured 18 3/4". don't know what the deals was - using up tubing? intentional change? F*up? - but they're around.
i actually have a later US Hutchins Pro in that size, right now

tubing diameter will determine a "racer" from a "raider":
Racer = 1" toptube, 1 3/8" downtube.
Raider = 1 1/8" TT, 1 1/4" DT.