duplicated
doubled
using
pretty
light
intuitive
calculations
and
trivially
enlarging
digits
—defined Sat, 27 Jun 2026 22:14:38 GMT by dvision
[history]
submit