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