py and libm: Add asinf,acosf; print higher precision for float.

Also use less stack space when printing single precision float.

Addition of asinf and acosf addresses issue #851.

1 files changed, 5 insertions, 5 deletions

diff --git a/py/objfloat.c b/py/objfloat.c
index 52d484135f..c6734ee780 100644
--- a/py/objfloat.c
+++ b/py/objfloat.c
@@ -48,18 +48,18 @@
 STATIC void float_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o_in, mp_print_kind_t kind) {
     mp_obj_float_t *o = o_in;
 #if MICROPY_FLOAT_IMPL == MICROPY_FLOAT_IMPL_FLOAT
-    char buf[32];
-    format_float(o->value, buf, sizeof(buf), 'g', 6, '\0');
+    char buf[16];
+    format_float(o->value, buf, sizeof(buf), 'g', 7, '\0');
     print(env, "%s", buf);
-    if (strchr(buf, '.') == NULL) {
+    if (strchr(buf, '.') == NULL && strchr(buf, 'e') == NULL) {
         // Python floats always have decimal point
         print(env, ".0");
     }
 #else
     char buf[32];
-    sprintf(buf, "%.17g", (double) o->value);
+    sprintf(buf, "%.16g", (double) o->value);
     print(env, buf);
-    if (strchr(buf, '.') == NULL) {
+    if (strchr(buf, '.') == NULL && strchr(buf, 'e') == NULL) {
         // Python floats always have decimal point
         print(env, ".0");
     }