format a floating for __android_log_print

__android_log_print("test=%g", (float)f);