Hi,
Here is a recent change in db_details_structure.php, line 351:
<td class="value"><?php echo PMA_formatNumber( $display_rows ); ?></td>
I think we should not use PMA_formatNumber(), because we lose the exact count of rows when it's available (for example, MyISAM).
Marc