Task

Express a number in decimal as a fixed-length string with leading zeros.



For example, the number   7.125   could be expressed as   00007.125.




 
class Main
{
  public static Void main()
  {
    echo (7.125.toStr.padl(9, '0'))
  }
}
 