sprintf("%d.%03d",x>>8,(x&255)*125>>(8-3))
(si x est positif)