Database: Cast to int in estimateRowCount(), selectRowCount()