frozen external class DOUBLE alias "double" inherit ANY rename undefine redefine end feature infix "+" (other: like Current): like Current -- Sum with `other' do -- built in end infix "-" (other: like Current): like Current do -- built in end infix ">" (other: like Current): BOOLEAN -- Is current object greater than `other'? do -- built in end infix "*" (other: like Current): like Current -- Product with `other' do -- built in end end