define function !!IntToStrWZero( !a is real, !count is REAL) is string
!result = string(!a)
  !tmp = 1
  do !i from 1 to !count - 1
    !tmp = !tmp * 10
    if (!a lt !tmp) then
      !result = '0' & !result
    endif
  enddo
return !result
endfunction