15 May
2022
15 May
'22
11:55 p.m.
it's cool i did it and i learned gmp a little bit. it looks like outputting an arbitrary precision decimal would be done manually by converting from a rational to an arbitrary precision float of appropriate precision. hard to repeat. worth repeating a lot i suppose.