Percentage: Division gives a Real example

Marks out of 500 (an Integer) become a percentage (a Real).