Multiplication of real numbers-student file