package jazz.lang;

///////////////////////////////////////////////////////////////////////////////
//
//                           Floating point numbers
//
///////////////////////////////////////////////////////////////////////////////

public native class float implements Arith, Comparable {
}

///////////////////////////////////////////////////////////////////////////////
//
//                               Implementation
//
///////////////////////////////////////////////////////////////////////////////

// Arithmetic operators
final native Builtin.(+\2)(x@float, y@float) = "%add";
final native Builtin.(-\2)(x@float, y@float) = "%sub";
final native Builtin.(*)(x@float, y@float) = "%mult";
final native Builtin.(-\1)(x@float) = "%minus";
final native Builtin.(+\1)(x@float) = "%plus";
native final Builtin.(<=)(x@float, y@float) = "%leq";
native final Builtin.(<)(x@float, y@float) = "%lt";
native final Builtin.(>)(x@float, y@float) = "%gt";
native final Builtin.(>=)(x@float, y@float) = "%geq";