Ndl: fixed number formatting for older PHP versions.