abstraction mechanisms: classes and operator overloading
class/object construction - operator overloading
R - [ rational class with OCCF and operator overloading ]