ref: 00c3603886a0833457e87a47c072e708e3cb6144
parent: 0318f82986c6c2522a232f8b248017e8a5dc533d
author: Rewbert <krookr@chalmers.se>
date: Wed Sep 20 10:12:17 EDT 2023
add src on 24 char length for doubles
--- a/src/runtime/eval.c
+++ b/src/runtime/eval.c
@@ -648,6 +648,7 @@
parse_double(BFILE *f)
{// apparently longest float, when rendered, takes up 24 characters
+ // https://stackoverflow.com/questions/1701055/what-is-the-maximum-length-in-chars-needed-to-represent-any-double-value
// I expect Lennart will hate this...
char floatstr[24];
int i = 0;
--
⑨