StringTake["000000" <> ToString[7.125], -9]
00007.125