Solved by ptrblck in post #2 
              
              
                As explained in the docs, the output shape will be calculated by a final floor operation. 
Since 19/2 = 9.5, the output shape of 9 is thus expected.