+/* method kernel$Float$max for (self: Float, Float): Float */
+double core___core__Float___Comparable__max(double self, double p0) {
+double var /* : Float */;
+short int var1 /* : Bool */;
+int cltype;
+int idtype;
+const char* var_class_name;
+double var_other /* var other: Float */;
+short int var2 /* : Bool */;
+short int var4 /* : Bool */;
+int cltype5;
+int idtype6;
+const char* var_class_name7;
+short int var8 /* : Bool */;
+/* Covariant cast for argument 0 (other) <p0:Float> isa OTHER */
+/* <p0:Float> isa OTHER */
+var1 = 1; /* easy <p0:Float> isa OTHER*/
+if (unlikely(!var1)) {
+var_class_name = type_core__Float.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 582);
+fatal_exit(1);
+}
+var_other = p0;
+{
+{ /* Inline kernel$Float$< (self,var_other) on <self:Float> */
+/* Covariant cast for argument 0 (i) <var_other:Float> isa OTHER */
+/* <var_other:Float> isa OTHER */
+var4 = 1; /* easy <var_other:Float> isa OTHER*/
+if (unlikely(!var4)) {
+var_class_name7 = type_core__Float.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 530);
+fatal_exit(1);
+}
+var8 = self < var_other;
+var2 = var8;
+goto RET_LABEL3;
+RET_LABEL3:(void)0;
+}
+}
+if (var2){
+var = var_other;
+goto RET_LABEL;
+} else {
+var = self;
+goto RET_LABEL;
+}
+RET_LABEL:;
+return var;
+}
+/* method kernel$Float$max for (self: Comparable, Comparable): Comparable */
+val* VIRTUAL_core___core__Float___Comparable__max(val* self, val* p0) {
+val* var /* : Comparable */;
+double var1 /* : Float */;
+double var2 /* : Float */;
+double var3 /* : Float */;
+val* var4 /* : Comparable */;
+var2 = ((struct instance_core__Float*)self)->value; /* autounbox from Comparable to Float */;
+var3 = ((struct instance_core__Float*)p0)->value; /* autounbox from Comparable to Float */;
+var1 = core___core__Float___Comparable__max(var2, var3);
+var4 = BOX_core__Float(var1); /* autobox from Float to Comparable */
+var = var4;
+RET_LABEL:;
+return var;
+}
+/* method kernel$Float$min for (self: Float, Float): Float */
+double core___core__Float___Comparable__min(double self, double p0) {
+double var /* : Float */;
+short int var1 /* : Bool */;
+int cltype;
+int idtype;
+const char* var_class_name;
+double var_c /* var c: Float */;
+short int var2 /* : Bool */;
+short int var4 /* : Bool */;
+int cltype5;
+int idtype6;
+const char* var_class_name7;
+short int var8 /* : Bool */;
+/* Covariant cast for argument 0 (c) <p0:Float> isa OTHER */
+/* <p0:Float> isa OTHER */
+var1 = 1; /* easy <p0:Float> isa OTHER*/
+if (unlikely(!var1)) {
+var_class_name = type_core__Float.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 591);
+fatal_exit(1);
+}
+var_c = p0;
+{
+{ /* Inline kernel$Float$< (var_c,self) on <var_c:Float> */
+/* Covariant cast for argument 0 (i) <self:Float> isa OTHER */
+/* <self:Float> isa OTHER */
+var4 = 1; /* easy <self:Float> isa OTHER*/
+if (unlikely(!var4)) {
+var_class_name7 = type_core__Float.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 530);
+fatal_exit(1);
+}
+var8 = var_c < self;
+var2 = var8;
+goto RET_LABEL3;
+RET_LABEL3:(void)0;
+}
+}
+if (var2){
+var = var_c;
+goto RET_LABEL;
+} else {
+var = self;
+goto RET_LABEL;
+}
+RET_LABEL:;
+return var;
+}
+/* method kernel$Float$min for (self: Comparable, Comparable): Comparable */
+val* VIRTUAL_core___core__Float___Comparable__min(val* self, val* p0) {
+val* var /* : Comparable */;
+double var1 /* : Float */;
+double var2 /* : Float */;
+double var3 /* : Float */;
+val* var4 /* : Comparable */;
+var2 = ((struct instance_core__Float*)self)->value; /* autounbox from Comparable to Float */;
+var3 = ((struct instance_core__Float*)p0)->value; /* autounbox from Comparable to Float */;
+var1 = core___core__Float___Comparable__min(var2, var3);
+var4 = BOX_core__Float(var1); /* autobox from Float to Comparable */
+var = var4;
+RET_LABEL:;
+return var;
+}
+/* method kernel$Byte$successor for (self: Byte, Int): Byte */