Preservar zeros à direita usando NumberFormatter em PHP

Estou trabalhando na atualização de um sistema legado da classe i18nv2 do PEAR para a biblioteca INTL integrada do PHP. Quando eu especifico um padrão como#,##0.## e corraNumberFormatter::format() em um número como12345.1000 eu recebo12,345.1 zeros à direita não devem ser preservados? Existe uma boa maneira de adicionar zeros à direita após o fato, levando em consideração que em muitos locais, um decimal é representado por uma vírgula em vez do caractere decimal?

Explicado com o código:

$n = new NumberFormatter('en_CA', NumberFormatter::PATTERN_DECIMAL, '#,##0.##');
echo $n->format(12345.10000);

questionAnswers(1)

yourAnswerToTheQuestion