let
sub_c_float f1 f2 = f_sizeof f1 <= f_sizeof f2