#include "framework.h"

BEGIN_TEST(double)
  c = a / b;
END_TESTF64()