Fix the 2.84, correcting the argument of put-coercion in rational package
Exercise 2.85