in coral $//$ Function to convert steps to miles

function StepsToMiles$($userSteps$)$

integer userSteps

float numMiles

$//1$ mile is equivalent to $2000$ steps

numMiles $=$ userSteps $/2000\mathrm{.}0$

return numMiles

endfunction

$//$ Main program

integer steps

float miles

$//$ Read the number of steps from input

steps $=$ Get next input

$//$ Call the function to convert steps to miles

miles $=$ StepsToMiles$($steps$)$

$//$ Output the result with $4$ decimal places

Put miles to output with $4$ digits after the decimal