19 ms·
> Real means Royal not double. It's a pun: https://foldoc.org/El+Camino+Bignum https://foldoc.org/El+Camino+Bignum
by denton-scratch 3y ago
> Real means Royal not double.
It's a pun: https://foldoc.org/El+Camino+Bignum https://foldoc.org/El+Camino+Bignum