// Ratl.h
class Ratl {
  // ABSTRACTLY: math. rationals
public:
  Ratl(int n, int d);
    // PRE: d != 0
    // MODIFIES: self
    // POST: self = (n/d)
  int numr() const;
    // POST: FCTVAL == numerator of self
  int denr() const;
    // POST: FCTVAL == denominator of self
#include "Ratl.pri"
};