I am curious, if you have time could you measure from the bottom bracket (that's where the pedals attach) to the top of the seat tube (where the seat post goes in-- don't measure the seat post itself)?
I'm not sure if I'm taking the measurements right but from the bottom of where the pedals attach to where the seatpost starts is 18.5" From the top of where the pedals attach is 16.5"