public static extern float7 mono_return_float7 (float7 s, int addend);
public static extern float7 mono_return_float7(float7 s, int addend);