How to code with Coral programming language to complete the following: A pedometer treats walking $2,000$ steps as walking $1$ mile. Define a function named StepsToMiles that takes an integer as a parameter, representing the number of steps, and returns a float that represents the number of miles walked. Then, write a main program that reads the number of steps as an input, calls function StepsToMiles$()$ with the input as an argument, and outputs the miles walked.

Output the result with four digits after the decimal point, which can be achieved as follows:

Put result to output with $4$ decimal places

If the input of the program is:

$5345$

the function returns and the output of the program is:

$2\mathrm{.}6725$

Your program should define and call a function:

Function StepsToMiles$($integer userSteps$)$ returns float numMiles