ccode: print Rational numbers with long double