[phpMyAdmin Git] [phpmyadmin/phpmyadmin] f3ca36: Fix number formatting with different settings of p...