Average of Three Marks: Integer into Real example

Three Integer marks, their Integer total, and a Real average.