+class type rate_type =
+ object
+ method to_int : int
+ method to_float : float
+ method to_string : string
+ method num : int
+ method denom : int
+ method equal : rate_type -> bool
+ method mul : int -> rate_type
+ method div : int -> rate_type
+ end
+