Hi @Adrien_Treuille -
We have an open issue for this here:
Currently, we only support a handful of printf operators (%d %e %f %g %i) that can be passed to JavaScript; the linked issue suggests an improvement to formatting strings on the Python side.