Comparison of decimal integers formatting algorithms