Workaround for unsupported 'short' option in :erlang.float_to_list (#166)

fixes software-mansion/popcorn#425

This PR brings back
#150, missed when
downstreaming

Author: mat-hek

src/libAtomVM/nifs.c

@@ -2552,6 +2552,13 @@ int get_float_format_opts(term opts, int *scientific, int *decimals, int *compac
         } else if (head == DEFAULTATOMS_COMPACT_ATOM) {
             *compact = 1;
 
+        } else if (head == SHORT_ATOM) {
+            // FIXME: OTP uses ryu algorithm for short format,
+            // vendored as a lib (https://github.com/erlang/otp/tree/master/erts/emulator/ryu)
+            // Workaround here uses default decimal precision with compacting
+            *scientific = 0;
+            *decimals = 10;
+            *compact = 1;
         } else {
             return 0;
         }

src/libAtomVM/popcorn/popcorn_atoms.def

@@ -3,3 +3,4 @@ X(TRIM_ALL_ATOM, "\x8", "trim_all")
 X(STDOUT_ATOM, "\x6", "stdout")
 X(STDERR_ATOM, "\x6", "stderr")
 X(NIF_NOT_FOUND_ERROR_ATOM, "\x13", "nif_not_found_error")
+X(SHORT_ATOM, "\x5", "short")